{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001599616,0.00005738252,0.00007665481,0.00002509135,0.00005706396,0.000115276,0.0003756247,0.00003737267,0.00001465086],"category_scores_gemma":[0.00002333392,0.00004216159,0.00003119042,0.0001403019,0.000006773218,0.0001629255,0.00002746677,0.00002617522,0.0001868583],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007956804,"about_ca_system_score_gemma":0.00002833912,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001816062,"about_ca_topic_score_gemma":0.000007213575,"domain_scores_codex":[0.9994698,0.00001129557,0.0000944129,0.000174734,0.0000786923,0.0001711319],"domain_scores_gemma":[0.9995853,0.00002239978,0.00002748512,0.0002585687,0.00005794692,0.00004832738],"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.000001922582,0.00002449468,0.00006031082,0.000002634381,0.000002557619,0.000001804839,0.00009012335,0.000001198888,0.0001340856,0.9487674,0.00763039,0.0432831],"study_design_scores_gemma":[0.0006259911,0.0008848192,0.00144166,0.000001845976,0.000004624494,0.00002049735,0.0000194674,0.01378197,0.002335977,0.495122,0.4854734,0.0002877497],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001759505,0.00005935791,0.9378546,0.0006660034,0.0005020516,0.0001794878,6.846163e-8,0.0001733324,0.06038918],"genre_scores_gemma":[0.9685486,0.00000181039,0.02450322,0.0008692205,0.00009856786,0.000003667218,0.000001029999,0.000002282476,0.005971634],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9683726,"threshold_uncertainty_score":0.2401747,"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."}}