{"id":"W2046193889","doi":"10.1016/j.apal.2008.06.002","title":"Parameter-free polymorphic types","year":2008,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Engineering and Physical Sciences Research Council; University of Toronto; Deutsche Forschungsgemeinschaft","keywords":"Variable (mathematics); Mathematics; Iterated function; Scope (computer science); Type (biology); Fragment (logic); Discrete mathematics; Calculus (dental); Computer science; Pure mathematics; Algebra over a field; Algorithm; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001872132,0.0001241009,0.000227215,0.00005929362,0.0001026097,0.00003457979,0.0005416535,0.00008462359,0.0000118316],"category_scores_gemma":[0.00002415756,0.00009198036,0.00005717609,0.0001924429,0.0001074716,0.00009257921,0.0001853617,0.00008124452,0.00003611797],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001589572,"about_ca_system_score_gemma":0.0000218965,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002110497,"about_ca_topic_score_gemma":0.000004043688,"domain_scores_codex":[0.9990985,0.00002367813,0.0001908725,0.0002705966,0.0001729042,0.0002434327],"domain_scores_gemma":[0.9992471,0.00005855164,0.0001064795,0.0004626026,0.00004535624,0.00007994962],"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.000008680815,0.00007775964,0.000641803,0.0000289511,0.00002957074,0.00002275571,0.0004610209,0.000005810908,0.0005557292,0.9716067,0.006683499,0.01987777],"study_design_scores_gemma":[0.0006523705,0.0005285177,0.005413712,0.000006574688,0.00001385476,0.0001596079,0.00008488265,0.0002539091,0.0148262,0.9471596,0.03040969,0.0004910719],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4802872,0.01809725,0.3019891,0.009052474,0.00129116,0.001479456,0.00001009091,0.0009437495,0.1868495],"genre_scores_gemma":[0.996473,0.0001749214,0.002160268,0.0008036976,0.00009553242,0.00001332743,0.000001721042,0.000005178075,0.0002723353],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5161858,"threshold_uncertainty_score":0.375085,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06935606317556205,"score_gpt":0.2697775510396174,"score_spread":0.2004214878640554,"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."}}