{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007326314,0.0006455978,0.0006487945,0.002048621,0.002127929,0.003820391,0.002712615,0.001997763,0.009346],"category_scores_gemma":[0.03144812,0.0009963348,0.001788329,0.001035745,0.006854378,0.011337,0.006507299,0.005154368,0.001480287],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002613489,"about_ca_system_score_gemma":0.003185819,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003314961,"about_ca_topic_score_gemma":0.005150091,"domain_scores_codex":[0.9948882,0.001340934,0.0003496116,0.0007724995,0.002177474,0.0004711857],"domain_scores_gemma":[0.9884434,0.004602289,0.0007255479,0.003591576,0.002210459,0.0004267756],"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.00004786878,0.00001379385,0.0003737476,0.00005652646,0.000008914934,0.00007135033,0.000326487,0.002674501,0.0009413983,0.9778661,0.001186818,0.01643247],"study_design_scores_gemma":[0.00006633243,0.00006451245,0.0002290573,0.0001716019,0.00004025084,0.0001754982,0.0002176297,0.07035755,0.005824553,0.8818398,0.04093169,0.00008170287],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01524924,0.0003007846,0.9609696,0.001378688,0.0002752726,0.000170518,0.0001791438,0.002083089,0.01939366],"genre_scores_gemma":[0.4233856,0.0005348195,0.5503254,0.001074466,0.0004716971,0.0005351473,0.0004615661,0.001875479,0.0213357],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009346,"threshold_uncertainty_score":0.03874576,"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."}}