{"id":"W3165577427","doi":"10.1145/583852.581487","title":"A demand-driven adaptive type analysis","year":2002,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Compiler; Abstract interpretation; Programming language; Program transformation; Static analysis; Compile time; Program analysis; Combinatory logic; Type (biology); Partial evaluation; Simple (philosophy); Functional programming; Scheme (mathematics); Haskell","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001691832,0.0001379829,0.0002413735,0.0001684709,0.0001237558,0.0001936675,0.001243274,0.0000720065,0.0001346119],"category_scores_gemma":[0.000104371,0.0001087592,0.0001040101,0.001043838,0.00003789411,0.0003259264,0.0002362182,0.00009490936,0.0007839357],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001892119,"about_ca_system_score_gemma":0.00001087334,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001634903,"about_ca_topic_score_gemma":0.0001893172,"domain_scores_codex":[0.9988022,0.00008996832,0.0001886143,0.0003748752,0.0002573588,0.0002869941],"domain_scores_gemma":[0.9986872,0.0001954779,0.000132389,0.0007999462,0.00008369367,0.0001012569],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005990459,0.0008231227,0.2111389,0.0001266848,0.004897109,0.0006960073,0.02863955,0.00806336,0.0004050871,0.5847598,0.02330005,0.1370904],"study_design_scores_gemma":[0.001201951,0.001720716,0.03341575,0.00001589186,0.001161491,0.00004329451,0.0005446851,0.8679963,0.0006067489,0.0165955,0.07512043,0.001577183],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1087513,0.004702722,0.7921626,0.002418284,0.002786672,0.0009486391,0.000008963485,0.001653401,0.08656748],"genre_scores_gemma":[0.9905176,0.00001794402,0.008242668,0.00015736,0.0001172585,0.00000675968,0.000003867389,0.000006128409,0.0009303918],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8817664,"threshold_uncertainty_score":0.9999941,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04918490563868369,"score_gpt":0.2558476397149979,"score_spread":0.2066627340763142,"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."}}