{"id":"W2522116950","doi":"10.1017/s0956796816000162","title":"Gradual type-and-effect systems","year":2016,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Abstract interpretation; Decidability; Type theory; Type (biology); Interpretation (philosophy); Model checking; Programming language; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001295925,0.0001455153,0.0002666416,0.0001563836,0.0001257674,0.0002475438,0.000306708,0.00007504134,0.000006302464],"category_scores_gemma":[0.0002330686,0.00007881716,0.0001052468,0.0003027689,0.00006058639,0.0006219548,0.00008598556,0.0001467666,0.00003903194],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006564023,"about_ca_system_score_gemma":0.00009995688,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001070568,"about_ca_topic_score_gemma":0.000001009914,"domain_scores_codex":[0.9984571,0.0001146889,0.0004382523,0.0001983655,0.0005216833,0.0002698475],"domain_scores_gemma":[0.9985368,0.0002855363,0.0003921868,0.0001782107,0.0004410554,0.000166244],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001035902,0.00009872544,0.01455395,0.00008356944,0.0002036295,0.0001161795,0.0001395441,0.00002641284,0.001828095,0.346949,0.002754669,0.6331427],"study_design_scores_gemma":[0.004941002,0.007498978,0.01164379,0.0002331355,0.0001545972,0.01013493,0.0001593525,0.001320826,0.0008683607,0.01969003,0.9424213,0.0009337262],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01521149,0.002284269,0.9761167,0.000595463,0.005064028,0.0002229297,1.858733e-7,0.00009230934,0.0004126582],"genre_scores_gemma":[0.9965104,0.00002694639,0.00216432,0.00002861821,0.0008232002,0.000007216015,3.375462e-7,0.0000098428,0.0004291277],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9812989,"threshold_uncertainty_score":0.321407,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02849093842516767,"score_gpt":0.2466756690347579,"score_spread":0.2181847306095902,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}