{"id":"W4248497488","doi":"10.1145/2914770.2837670","title":"Abstracting gradual typing","year":2016,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Subtyping; Programming language; Exception handling; Typing; Type theory; Consistency (knowledge bases); Syntax; Type inference; Sophistication; Type safety; Language construct; Abstract interpretation; Artificial intelligence; Type (biology)","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.007998979,0.001066968,0.0006951626,0.001956026,0.001704485,0.005634009,0.002655945,0.001875946,0.00310593],"category_scores_gemma":[0.01853012,0.001439994,0.002543018,0.001026832,0.009929596,0.01271667,0.007425364,0.005827881,0.001005416],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002690181,"about_ca_system_score_gemma":0.002843056,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00226194,"about_ca_topic_score_gemma":0.001701107,"domain_scores_codex":[0.9916673,0.0025127,0.0007674942,0.001780181,0.00270547,0.0005668091],"domain_scores_gemma":[0.9824507,0.004909365,0.001426404,0.00770268,0.002949542,0.0005612633],"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.00002961403,0.0000113497,0.0004992586,0.0001006349,0.00002190033,0.00009541583,0.001104724,0.003169017,0.001813036,0.9778538,0.0006817218,0.01461949],"study_design_scores_gemma":[0.00004264321,0.00009869898,0.0002406515,0.0001785033,0.00008990639,0.0003955674,0.0003243762,0.0169703,0.006086253,0.9150967,0.06039937,0.00007707693],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01145269,0.0005742201,0.9752883,0.001108245,0.0002692341,0.00006061375,0.00007088616,0.0007872665,0.01038851],"genre_scores_gemma":[0.3843657,0.00135863,0.5940652,0.001642406,0.0005511891,0.0002919284,0.0002215336,0.0008852047,0.01661805],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007998979,"threshold_uncertainty_score":0.04230314,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04552239643461935,"score_gpt":0.2721415908594423,"score_spread":0.226619194424823,"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."}}