{"id":"W2613827931","doi":"","title":"Inferring types for functional methods (where method calls come for free)","year":2004,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Subtyping; Computer science; Type inference; Type (biology); Inference; Functional programming; Theoretical computer science; Principal (computer security); Algorithm; Type theory; Programming language; Artificial intelligence; Computer security","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.01180361,0.0004008886,0.0005689579,0.0002142369,0.0004975693,0.000819995,0.002769883,0.0004265491,0.00002943884],"category_scores_gemma":[0.002264411,0.0003953341,0.0004580699,0.0003201264,0.0001128526,0.000233761,0.002118496,0.0004773587,0.00001397953],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002319193,"about_ca_system_score_gemma":0.0005974427,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001160328,"about_ca_topic_score_gemma":0.00109565,"domain_scores_codex":[0.9939471,0.003371038,0.0006620393,0.001112743,0.0003945004,0.0005125788],"domain_scores_gemma":[0.9899864,0.003812728,0.0006270247,0.002813681,0.002559808,0.0002003547],"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.00000894276,0.0001916663,0.0001470313,0.0004302752,0.0001254598,8.753956e-7,0.00239276,0.00058579,0.0004675549,0.9007247,0.0007773578,0.09414755],"study_design_scores_gemma":[0.002127095,0.000004161911,0.001090172,0.0006258856,0.0001313658,0.00002795457,0.00007511232,0.157285,0.0277103,0.6149453,0.1948173,0.001160285],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001012936,0.001614373,0.9816786,0.005433029,0.001211673,0.001345835,0.00003946629,0.0004373967,0.008138312],"genre_scores_gemma":[0.06163059,0.00006895734,0.9321307,0.0001172167,0.0001077779,0.0006446886,0.0002308191,0.00005103758,0.005018195],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2857795,"threshold_uncertainty_score":0.9998499,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04252585296455134,"score_gpt":0.3113976475337078,"score_spread":0.2688717945691564,"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."}}