{"id":"W1970075481","doi":"10.1145/2676726.2676992","title":"Principal Type Schemes for Gradual Programs","year":2014,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":59,"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; Programming language; Correctness; Inference; Type (biology); Type theory; Principal (computer security); Static analysis; Theoretical computer science; Dependent type; 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.005403947,0.0005425629,0.0005295421,0.001824446,0.001961601,0.003983997,0.001703834,0.001143867,0.007064381],"category_scores_gemma":[0.01158839,0.0008297406,0.001636904,0.001953029,0.005397667,0.01024472,0.004662179,0.00410424,0.002007512],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001770562,"about_ca_system_score_gemma":0.001691565,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00114297,"about_ca_topic_score_gemma":0.0009677053,"domain_scores_codex":[0.9961163,0.00105682,0.0004192414,0.00084216,0.001191535,0.0003739286],"domain_scores_gemma":[0.9932076,0.00254145,0.0005605094,0.00203843,0.001315558,0.0003363793],"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.00001351693,0.000003881991,0.00008524091,0.00002231871,0.000002821853,0.00001740545,0.0001810111,0.0003089014,0.0003531568,0.9940587,0.0004615689,0.004491474],"study_design_scores_gemma":[0.00003651598,0.0000358057,0.0001747855,0.00004758682,0.00002265459,0.0001304634,0.00009480029,0.004978175,0.001583196,0.9637441,0.02912058,0.00003118202],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02353877,0.0009658213,0.9440863,0.001129659,0.0003325259,0.0001401695,0.0003522721,0.0008811342,0.02857341],"genre_scores_gemma":[0.4924603,0.001879694,0.474891,0.0007972319,0.0004483698,0.0004280166,0.0007095388,0.0004649831,0.02792088],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007064381,"threshold_uncertainty_score":0.02857918,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04622135198826501,"score_gpt":0.2769784815488602,"score_spread":0.2307571295605952,"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."}}