{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001574599,0.000304767,0.000431106,0.0006003687,0.0006532927,0.001571532,0.001044564,0.0006239319,0.005130685],"category_scores_gemma":[0.004012425,0.0005396172,0.0009028732,0.0004704525,0.001022146,0.002324873,0.001751955,0.001376747,0.002890654],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005252964,"about_ca_system_score_gemma":0.001374165,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006190033,"about_ca_topic_score_gemma":0.0009091023,"domain_scores_codex":[0.9989334,0.0001935624,0.00009911688,0.0001391885,0.0005122765,0.0001224739],"domain_scores_gemma":[0.9987264,0.0004226474,0.00007347408,0.000467152,0.0002341347,0.00007616837],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0005184608,0.0002565302,0.001862729,0.0007540331,0.00009798941,0.0008604039,0.001423651,0.01946381,0.03206248,0.4187228,0.0507295,0.4732475],"study_design_scores_gemma":[0.0003692963,0.0002467466,0.000816531,0.0003321048,0.0001085198,0.001166068,0.0001899945,0.1165075,0.1116115,0.4975071,0.2709456,0.0001991771],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02173326,0.0005534517,0.8924928,0.0007966178,0.0007136718,0.000131646,0.0005634807,0.06401645,0.01899867],"genre_scores_gemma":[0.2518906,0.0005249421,0.7174747,0.001002405,0.000261089,0.000207788,0.0008139827,0.009915899,0.01790861],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005130685,"threshold_uncertainty_score":0.01716381,"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."}}