{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001778782,0.0006130534,0.000688076,0.001302277,0.0008135801,0.001753236,0.002608271,0.001140917,0.003692036],"category_scores_gemma":[0.006736236,0.0008356291,0.001459559,0.00110884,0.001470468,0.003436672,0.002029381,0.001824767,0.001153407],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00146716,"about_ca_system_score_gemma":0.002239436,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003279226,"about_ca_topic_score_gemma":0.003921164,"domain_scores_codex":[0.9974527,0.0004412511,0.0001636208,0.0005258792,0.001159835,0.0002567967],"domain_scores_gemma":[0.9939777,0.001267518,0.0003591911,0.002796104,0.001494103,0.0001054636],"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.001580381,0.0003723572,0.02195974,0.0004546898,0.0001810745,0.0005911296,0.0008583459,0.1280162,0.1385601,0.2328372,0.02127487,0.4533139],"study_design_scores_gemma":[0.0001060226,0.0001647356,0.002224859,0.000043863,0.00009783094,0.000427178,0.0001225307,0.8206576,0.06334829,0.09392615,0.01877251,0.0001083649],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03223489,0.00007064045,0.9555158,0.0004041215,0.00007116707,0.0001070487,0.0003399225,0.007681959,0.003574467],"genre_scores_gemma":[0.3822851,0.000126366,0.6082988,0.0005466858,0.00008175598,0.0001918398,0.0005472428,0.001495557,0.006426604],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003692036,"threshold_uncertainty_score":0.0123511,"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."}}