{"id":"W2397205586","doi":"","title":"One Vote for Type Families in Haskell","year":2008,"lang":"en","type":"article","venue":"Trends in Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Haskell; Computer science; Programming language; Functional programming; Data type; Type (biology); Sketch; Type inference; Type safety; Compiler; Abstract data type; Data structure; Context (archaeology); Theoretical computer science; Class (philosophy); Modularity (biology); Type theory; Artificial intelligence; Algorithm; Inference","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.02135751,0.0008031654,0.0009800886,0.001325178,0.004943619,0.005918636,0.002527589,0.005196869,0.01169801],"category_scores_gemma":[0.05747624,0.0009420849,0.001500286,0.001232431,0.01175774,0.01788668,0.005050947,0.01239109,0.007101975],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0030188,"about_ca_system_score_gemma":0.003970157,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004019396,"about_ca_topic_score_gemma":0.005319792,"domain_scores_codex":[0.9844406,0.005876529,0.0006200048,0.002400533,0.005745586,0.0009167876],"domain_scores_gemma":[0.9648842,0.01129752,0.001623425,0.01198196,0.007841688,0.00237113],"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.0002403122,0.00004576038,0.002509741,0.0002239158,0.00004940776,0.0002081087,0.001726846,0.0008525607,0.002219216,0.6923643,0.188808,0.1107519],"study_design_scores_gemma":[0.00009193879,0.0001074574,0.0004652055,0.0005015155,0.00004195662,0.0004847157,0.0005786498,0.002933506,0.003601165,0.2029233,0.7881437,0.0001270028],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01562567,0.008623013,0.4623764,0.3772681,0.01841109,0.0001055242,0.0004715932,0.01074462,0.106374],"genre_scores_gemma":[0.2889152,0.006594014,0.3689487,0.1628295,0.01058215,0.0004263408,0.0004973584,0.01736668,0.1438401],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02135751,"threshold_uncertainty_score":0.1129506,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1070054815079704,"score_gpt":0.2929933450937063,"score_spread":0.1859878635857359,"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."}}