{"id":"W2023809115","doi":"10.1145/1011508.1011510","title":"Polymorphic specialization for ML","year":2004,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Soundness; Computer science; Semantics (computer science); Programming language; Type inference; Functional programming; Recursion (computer science); Linear logic; Inference; Lambda calculus; Theoretical computer science; Operational semantics; Artificial intelligence","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.003851576,0.0007780204,0.0009726658,0.001437393,0.001336853,0.003286116,0.002275469,0.001117228,0.00666477],"category_scores_gemma":[0.005158165,0.0009895638,0.002441939,0.001348306,0.004435784,0.007377926,0.004222882,0.004449613,0.001948865],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002123983,"about_ca_system_score_gemma":0.002034783,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002716795,"about_ca_topic_score_gemma":0.00212099,"domain_scores_codex":[0.9965776,0.0009944,0.0002322971,0.0006213788,0.001132089,0.0004423882],"domain_scores_gemma":[0.99703,0.001078906,0.000249458,0.001102147,0.0004311601,0.0001082625],"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.00002091924,0.000009813903,0.0002066115,0.00007056334,0.0000116134,0.00009699859,0.0003899437,0.003077932,0.00192197,0.9695107,0.001361417,0.02332155],"study_design_scores_gemma":[0.00001997084,0.00005097458,0.0002831666,0.00007670969,0.00006637328,0.0004075008,0.0001079706,0.05435938,0.006738264,0.863183,0.07464799,0.00005879108],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002940053,0.0002288313,0.9886825,0.0003324184,0.00005451812,0.00004530253,0.00006175544,0.001568973,0.006085573],"genre_scores_gemma":[0.3237979,0.0007808703,0.6615293,0.0007996816,0.0005402715,0.0002518113,0.0002134129,0.001869643,0.01021708],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00666477,"threshold_uncertainty_score":0.02229589,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02675059458321067,"score_gpt":0.2806556860792817,"score_spread":0.253905091496071,"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."}}