{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002744521,0.0005346821,0.00062066,0.001630814,0.0009632876,0.002740791,0.001971604,0.001067566,0.007214178],"category_scores_gemma":[0.01055797,0.0007307965,0.001366441,0.001155087,0.001048287,0.004827463,0.00176426,0.00163604,0.001421568],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001599302,"about_ca_system_score_gemma":0.002066482,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002992842,"about_ca_topic_score_gemma":0.005094632,"domain_scores_codex":[0.9967931,0.0007594516,0.0001991003,0.0002664983,0.001635615,0.0003461418],"domain_scores_gemma":[0.9908404,0.004622053,0.0003783209,0.001682328,0.002309817,0.0001671384],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00127734,0.000488406,0.01889109,0.0007613263,0.0001331016,0.0006503175,0.001638933,0.09701888,0.04565925,0.3723187,0.0212635,0.4398991],"study_design_scores_gemma":[0.0001100208,0.0001379638,0.002259674,0.0001113039,0.00006801274,0.0004207299,0.0004992691,0.6601509,0.04918585,0.253063,0.03389737,0.00009587309],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04555578,0.0002270088,0.9440644,0.0005617604,0.0001694407,0.0001131545,0.0006893738,0.004058891,0.004560112],"genre_scores_gemma":[0.6217398,0.0003782173,0.3569014,0.0003946811,0.0001843266,0.0002751836,0.001778649,0.002794739,0.01555295],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007214178,"threshold_uncertainty_score":0.02413386,"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."}}