{"id":"W4246703569","doi":"10.1145/1411204.1411218","title":"A type-preserving compiler in Haskell","year":2008,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Haskell; Computer science; Programming language; Compiler; Optimizing compiler; Functional programming; Parallel computing","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":[],"consensus_categories":[],"category_scores_codex":[0.000158514,0.00006959209,0.0001071617,0.00006142345,0.00006150046,0.00004747291,0.0005759555,0.00004092488,0.00006532479],"category_scores_gemma":[0.00001745987,0.00005441778,0.00002636491,0.0003377688,0.00002430509,0.0002218261,0.00020327,0.00007622907,0.0004165924],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001698947,"about_ca_system_score_gemma":0.00003506454,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005009059,"about_ca_topic_score_gemma":0.0001673288,"domain_scores_codex":[0.9992617,0.00004025251,0.0001402306,0.0002071903,0.0001409967,0.0002095991],"domain_scores_gemma":[0.9994894,0.00003193146,0.00002712813,0.0003639553,0.00003820164,0.00004940782],"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.000006758131,0.0002076029,0.1330337,0.00003144246,0.00001369274,0.0002938747,0.003706382,0.0001000639,0.0003018026,0.8287531,0.02480938,0.008742241],"study_design_scores_gemma":[0.002415083,0.0005186633,0.127331,0.00001910874,0.000004543318,0.0005040004,0.0002583863,0.1497268,0.002198973,0.06475757,0.6509933,0.001272594],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05921162,0.0004460791,0.5276207,0.0005994834,0.00117994,0.0003292785,9.264967e-8,0.0005122722,0.4101005],"genre_scores_gemma":[0.989547,0.000008118569,0.005425113,0.0002094492,0.00004678601,0.000004429501,5.409026e-7,0.000003872964,0.004754742],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9303353,"threshold_uncertainty_score":0.5354592,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0527891507354596,"score_gpt":0.2570515556627129,"score_spread":0.2042624049272533,"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."}}