{"id":"W4415046823","doi":"10.1145/3758316.3762822","title":"Lexical Effect Handlers: Fast by Design, Correct by Proof","year":2025,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Compiler; Mainstream; Semantics (computer science); Expressivity; Lexical item","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007282873,0.00166611,0.001409426,0.00191827,0.001610961,0.007075668,0.004274572,0.002396287,0.02296137],"category_scores_gemma":[0.03051048,0.002375402,0.002809203,0.001488339,0.004514828,0.01433803,0.006946275,0.005595122,0.01441337],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001452488,"about_ca_system_score_gemma":0.004555869,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001590509,"about_ca_topic_score_gemma":0.002533178,"domain_scores_codex":[0.9922496,0.001843582,0.000610309,0.001172989,0.00343784,0.0006856119],"domain_scores_gemma":[0.9815328,0.006101709,0.001192849,0.007459889,0.003342319,0.0003703557],"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.0004704678,0.0002203828,0.002286807,0.0009748947,0.0001568548,0.0004150593,0.00111974,0.005107023,0.01514917,0.4845606,0.07206256,0.4174766],"study_design_scores_gemma":[0.000356075,0.0001832415,0.0005607667,0.0006549834,0.0002934093,0.0009303991,0.0004445909,0.06043085,0.05187014,0.6082705,0.275774,0.0002309642],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003229481,0.00055496,0.9633391,0.001046902,0.0004216026,0.0002747772,0.0003354353,0.02249667,0.008300981],"genre_scores_gemma":[0.09288202,0.001197291,0.8702694,0.001574581,0.0005057193,0.0005674472,0.001189181,0.01615954,0.01565483],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02296137,"threshold_uncertainty_score":0.07681346,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01427426389993317,"score_gpt":0.2498455666617132,"score_spread":0.2355713027617801,"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."}}