{"id":"W4251269212","doi":"10.1145/2692915.2628149","title":"A theory of gradual effect systems","year":2014,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Fondo Nacional de Desarrollo Científico y Tecnológico; Comisión Nacional de Investigación Científica y Tecnológica; Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Abstract interpretation; Decidability; Interpretation (philosophy); Type theory; Programming language; Model checking; Theoretical computer science; Type (biology); Software engineering","routes":{"ca_aff":true,"ca_fund":true,"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.001474477,0.0001383791,0.0002828549,0.00007455121,0.00007015737,0.0001378281,0.00136348,0.00007072532,0.000003742118],"category_scores_gemma":[0.000445514,0.00009647346,0.00006664952,0.0001729168,0.00006047387,0.0002107902,0.0002237927,0.00008270959,0.0001154043],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009011903,"about_ca_system_score_gemma":0.00001709857,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001505624,"about_ca_topic_score_gemma":0.00001031338,"domain_scores_codex":[0.9984848,0.0004693243,0.000241251,0.0002792715,0.0002782434,0.0002470873],"domain_scores_gemma":[0.9975145,0.001272637,0.0002018626,0.0008882253,0.000050185,0.00007255563],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001463508,0.000037918,0.00727817,0.0002773894,0.0000472665,0.000008102152,0.0009660326,0.00006405842,0.0003386911,0.9582461,0.000396615,0.03232503],"study_design_scores_gemma":[0.009938391,0.01608559,0.05570471,0.0005201814,0.0006213813,0.000479196,0.001672273,0.1188586,0.04143926,0.5027885,0.2468229,0.00506895],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2893239,0.002085428,0.6690646,0.0002395592,0.005262902,0.0009917301,0.000002862053,0.000744704,0.03228435],"genre_scores_gemma":[0.9988051,0.000001813801,0.0007049696,0.0000378082,0.0001895735,0.00001609023,0.000002533946,0.000008048928,0.0002340344],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7094812,"threshold_uncertainty_score":0.3934073,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02063144584475379,"score_gpt":0.2436307977274916,"score_spread":0.2229993518827378,"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."}}