{"id":"W7036875913","doi":"","title":"Demand-Driven Type Analysis for Dynamically-Typed Functional Languages","year":2002,"lang":"en","type":"article","venue":"Open MIND","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Type (biology); Sequence (biology); Natural language","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0001998884,0.00008433916,0.0001701132,0.00007822332,0.0001017404,0.00030244,0.0006419459,0.00005511373,0.001413238],"category_scores_gemma":[0.00003306096,0.00006774718,0.00008861619,0.000463501,0.00001914051,0.0002092741,0.0001664745,0.00004492339,0.0009721105],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002104873,"about_ca_system_score_gemma":0.00001748884,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002807444,"about_ca_topic_score_gemma":0.00008665118,"domain_scores_codex":[0.9991974,0.00003452174,0.0001458862,0.0003105011,0.0001338553,0.0001777972],"domain_scores_gemma":[0.9994094,0.00005967458,0.00006897756,0.0003122728,0.00008682293,0.00006278622],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001101679,0.0009944756,0.04078889,0.00005163318,0.003227923,0.0001094176,0.00584217,0.005121315,0.002201208,0.09991173,0.02359889,0.8180422],"study_design_scores_gemma":[0.001255331,0.0003981332,0.00907627,0.000004508119,0.0003335137,0.00002241288,0.0001502987,0.6232785,0.0005345567,0.00164853,0.3627238,0.0005742147],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01225192,0.0002137685,0.9486775,0.0004028473,0.000359376,0.0004786354,0.000003888961,0.000015309,0.03759672],"genre_scores_gemma":[0.9565356,0.000003065512,0.02735833,0.00004870208,0.00007832047,0.00001789778,0.00002307929,0.000004716075,0.01593023],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9442837,"threshold_uncertainty_score":0.9998057,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05521726124199886,"score_gpt":0.2957911143236585,"score_spread":0.2405738530816596,"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."}}