{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002352545,0.000701525,0.001184444,0.001534845,0.002169978,0.006508763,0.001604071,0.001520495,0.01013884],"category_scores_gemma":[0.007187265,0.00124328,0.001102837,0.002465615,0.00582246,0.01279984,0.003570665,0.008913203,0.003679537],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002018008,"about_ca_system_score_gemma":0.001911978,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007980038,"about_ca_topic_score_gemma":0.0009176194,"domain_scores_codex":[0.9975421,0.0004939691,0.0001654591,0.0006755773,0.0009367479,0.0001862184],"domain_scores_gemma":[0.9954489,0.001797975,0.000182715,0.001709655,0.0006494912,0.0002113137],"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.00002316496,0.00001762734,0.000221361,0.00003616805,0.00000747559,0.00002565609,0.0001414927,0.0004471241,0.000306053,0.9640256,0.007965245,0.02678316],"study_design_scores_gemma":[0.000007411096,0.000007217303,0.0001007277,0.00002136519,0.00001262725,0.0001019649,0.00002640954,0.001912906,0.0004771247,0.9593092,0.03801264,0.00001043793],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03537958,0.01832183,0.6975647,0.01400195,0.004418625,0.00005197448,0.0007524213,0.002276753,0.2272321],"genre_scores_gemma":[0.6499417,0.014872,0.1552722,0.003733105,0.007111441,0.000165149,0.001321011,0.001533165,0.1660502],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01013884,"threshold_uncertainty_score":0.03391778,"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."}}