{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003593864,0.0007264256,0.0005436979,0.002053559,0.001756644,0.003427645,0.001830207,0.001553462,0.007690566],"category_scores_gemma":[0.007351719,0.0009038786,0.001930396,0.001142425,0.007116805,0.00824744,0.00381921,0.00409053,0.001215519],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002387739,"about_ca_system_score_gemma":0.001559891,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002537667,"about_ca_topic_score_gemma":0.001912269,"domain_scores_codex":[0.997023,0.0007469368,0.0002090255,0.0008234088,0.000862091,0.000335476],"domain_scores_gemma":[0.9945735,0.002887116,0.0003653376,0.001030073,0.0009005218,0.0002434713],"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.000005389521,0.000004013717,0.00009448866,0.00002564651,0.000004752917,0.00004456782,0.0001602966,0.001361486,0.000302253,0.9945276,0.0004379739,0.003031519],"study_design_scores_gemma":[0.00002631115,0.00002710548,0.0001357214,0.00004432689,0.00003165481,0.0001701989,0.00007855897,0.01332177,0.000991472,0.9517702,0.03337936,0.00002332926],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009821193,0.0007760624,0.9481646,0.001246547,0.0001899182,0.00009131087,0.0001917359,0.0006833141,0.03883531],"genre_scores_gemma":[0.5010379,0.001972317,0.4545841,0.00131541,0.0005465875,0.0004894175,0.0004218793,0.0004810341,0.03915147],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007690566,"threshold_uncertainty_score":0.02572757,"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."}}