{"id":"W7030484850","doi":"","title":"No Zombie Types: Liveness-Based Justification For Monotonic Gradual Types","year":2021,"lang":"en","type":"dissertation","venue":"UWSpace (University of Waterloo)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Blackberry (Canada)","funders":"","keywords":"Liveness; Reachability; Object (grammar); Type (biology); Semantics (computer science); Monotonic function; Type theory","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.0002103308,0.0002186268,0.0003746357,0.0001889869,0.000224094,0.00008739383,0.0008067381,0.0002938448,0.00003748998],"category_scores_gemma":[0.00002857359,0.000244469,0.0002252002,0.0002619384,0.00004553789,0.000238532,0.00005713941,0.0001382994,0.0001267451],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006359883,"about_ca_system_score_gemma":0.0003152686,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005918432,"about_ca_topic_score_gemma":0.009117345,"domain_scores_codex":[0.9987031,0.00007513871,0.0001470732,0.0005449944,0.0002620227,0.0002676981],"domain_scores_gemma":[0.9983621,0.00006710862,0.0003250326,0.000555435,0.0006114873,0.0000788856],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"qualitative","study_design_scores_codex":[0.001706032,0.002418817,0.002389343,0.01744096,0.002148233,0.0003567937,0.3307674,0.001662304,0.01996827,0.4655512,0.01493408,0.1406565],"study_design_scores_gemma":[0.01824259,0.006699969,0.02873577,0.002133169,0.004402756,0.00004204251,0.3256268,0.2149166,0.08961338,0.02756538,0.2708527,0.01116887],"study_design_candidate":"qualitative","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"other","genre_scores_codex":[0.761793,0.003351625,0.2063216,0.002170267,0.01113185,0.005090259,0.00009515296,0.001263083,0.00878325],"genre_scores_gemma":[0.4545925,0.0000922777,0.01165517,0.00002268746,0.0001362392,0.000008457129,0.001444929,0.00003759274,0.5320101],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5232269,"threshold_uncertainty_score":0.9969158,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01930219349351203,"score_gpt":0.2263612854871759,"score_spread":0.2070590919936639,"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."}}