{"id":"W2146937878","doi":"10.1145/1481848.1481855","title":"Type invariants for Haskell","year":2009,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"Université de Montréal","keywords":"Haskell; Programming language; Computer science; Correctness; Functional programming; Type safety; Type (biology); Simple (philosophy); Code (set theory); Generic programming; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":true,"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.002834741,0.0005784555,0.0007402877,0.002006426,0.001197006,0.00374675,0.001830994,0.0007306001,0.01357391],"category_scores_gemma":[0.007106279,0.0008556499,0.001549557,0.001380403,0.002383434,0.00646056,0.002441292,0.003406241,0.005562698],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002265927,"about_ca_system_score_gemma":0.001879778,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002630624,"about_ca_topic_score_gemma":0.00264395,"domain_scores_codex":[0.9977817,0.0003113419,0.0002493515,0.0002921001,0.001109916,0.0002556502],"domain_scores_gemma":[0.9962902,0.001273519,0.0004105452,0.001201335,0.0006875339,0.0001368863],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001263681,0.00006681601,0.001287187,0.0005172979,0.00006072341,0.0002659835,0.0007930453,0.005287561,0.003673378,0.7920341,0.03847401,0.1574135],"study_design_scores_gemma":[0.00007145746,0.00005733824,0.000664736,0.0002782397,0.00007889769,0.0002720303,0.0001095251,0.02926312,0.01130337,0.8307938,0.1269812,0.0001262679],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01827495,0.002717644,0.8387195,0.002387438,0.001521177,0.0001711666,0.002377706,0.05536209,0.07846826],"genre_scores_gemma":[0.4712422,0.002525486,0.4669457,0.002261392,0.00180201,0.0004925022,0.004232567,0.01264177,0.0378563],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01357391,"threshold_uncertainty_score":0.04540926,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04194782641241021,"score_gpt":0.2708417469107394,"score_spread":0.2288939204983292,"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."}}