{"id":"W2108650361","doi":"10.1145/1411203.1411218","title":"A type-preserving compiler in Haskell","year":2008,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Haskell; Compiler; Programming language; Mathematical proof; Optimizing compiler; Type (biology); Functional programming","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.001517422,0.0002670173,0.0003904456,0.0005358888,0.0006953551,0.001493393,0.001033603,0.0005723815,0.00364214],"category_scores_gemma":[0.003642773,0.0005459519,0.0009420858,0.0004327251,0.001184074,0.002212794,0.001355197,0.001408121,0.001902568],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006636907,"about_ca_system_score_gemma":0.001736089,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008904252,"about_ca_topic_score_gemma":0.001190364,"domain_scores_codex":[0.9989027,0.0002135411,0.0001042569,0.0001431045,0.000512908,0.0001234301],"domain_scores_gemma":[0.9986319,0.000424777,0.00008174259,0.0005139504,0.0002710883,0.00007654979],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003997264,0.0002040931,0.001730156,0.0007310444,0.00007722974,0.0009466632,0.001721556,0.03403342,0.03934517,0.5373222,0.03107664,0.3524122],"study_design_scores_gemma":[0.0003159756,0.000287503,0.0008163782,0.0002520364,0.00008872287,0.001101375,0.0002044667,0.1405663,0.1029603,0.515295,0.2379233,0.0001886739],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.01825529,0.0003375781,0.9384209,0.0007446819,0.0004332531,0.0001260605,0.0004079775,0.02911578,0.01215852],"genre_scores_gemma":[0.2065486,0.0004034938,0.7739446,0.000715247,0.0001850369,0.0001910142,0.0005570854,0.00509698,0.01235793],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.00364214,"threshold_uncertainty_score":0.0121842,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06064749100290676,"score_gpt":0.2688792115612433,"score_spread":0.2082317205583366,"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."}}