{"id":"W3005147209","doi":"10.1145/2775051.2676992","title":"Principal Type Schemes for Gradual Programs","year":2015,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Type inference; Computer science; Inference; Programming language; Correctness; Static analysis; System F; Type (biology); Type theory; Modular design; Theoretical computer science; Subtyping; Artificial intelligence; Lambda calculus","routes":{"ca_aff":true,"ca_fund":true,"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.005483244,0.0005318918,0.0004786015,0.001618598,0.0018836,0.003878105,0.001664407,0.001258123,0.005587842],"category_scores_gemma":[0.01079027,0.0008539825,0.00169136,0.001490708,0.005704928,0.009606521,0.004579749,0.003871619,0.001636432],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002044319,"about_ca_system_score_gemma":0.001785276,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00113014,"about_ca_topic_score_gemma":0.000966303,"domain_scores_codex":[0.9956495,0.001217468,0.0004474608,0.0009262987,0.001351368,0.000407824],"domain_scores_gemma":[0.9935086,0.002413569,0.0005227132,0.002052633,0.001234641,0.0002678487],"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.000009279328,0.000003070633,0.00008219927,0.00001902905,0.000002490129,0.00001869242,0.0002314047,0.0003076927,0.0003785119,0.9944854,0.000352717,0.004109414],"study_design_scores_gemma":[0.00002849859,0.00003481108,0.0001627515,0.00004598105,0.00002239326,0.000141982,0.0001032817,0.005690011,0.002046231,0.9534268,0.0382655,0.00003187962],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01774232,0.0006470241,0.9566853,0.0009072392,0.0002348747,0.0001101011,0.0002279203,0.0008936693,0.02255162],"genre_scores_gemma":[0.4219981,0.001370048,0.5500049,0.0007602291,0.0003925668,0.0004746002,0.0004772699,0.0005280449,0.02399418],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005587842,"threshold_uncertainty_score":0.02899849,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1119697619469658,"score_gpt":0.310158053476333,"score_spread":0.1981882915293672,"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."}}