{"id":"W4241907611","doi":"10.1145/2480359.2429075","title":"Copatterns","year":2013,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Engineering and Physical Sciences Research Council","keywords":"Computer science; Coinduction; Programming language; Soundness; Haskell; Functional programming; Data type; Data structure; Theoretical computer science; Pattern matching; Type (biology); Matching (statistics); Semantics (computer science); Sketch; Algorithm; Mathematical proof; Mathematics","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001342236,0.0001070515,0.0001222782,0.00004540114,0.000084092,0.0003899521,0.001444408,0.00005027371,0.00014838],"category_scores_gemma":[0.00007281418,0.00008095106,0.00003703805,0.000126756,0.00002718773,0.0005493429,0.0002910956,0.00007694233,0.003301853],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001072984,"about_ca_system_score_gemma":0.00001707232,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007310862,"about_ca_topic_score_gemma":0.00005198511,"domain_scores_codex":[0.9990752,0.00004449555,0.0001514325,0.0002636906,0.000192267,0.0002729386],"domain_scores_gemma":[0.9988708,0.0001458555,0.00008325271,0.0007554315,0.0000520729,0.00009261368],"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.000004763068,0.0002528759,0.1992261,0.0001906014,0.0001068266,0.0001280942,0.00650727,0.00006065556,0.001602254,0.4327215,0.06499825,0.2942008],"study_design_scores_gemma":[0.002143624,0.001151506,0.2760732,0.00004337884,0.00005921851,0.0001721607,0.0009448679,0.03115709,0.007035013,0.1864939,0.4921715,0.002554555],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4928105,0.001218662,0.3882692,0.00914439,0.00632098,0.001613031,0.000003292469,0.002150624,0.09846925],"genre_scores_gemma":[0.9943276,0.000002734249,0.004039515,0.0005280848,0.0001724292,0.00002618938,0.000002855693,0.000006287944,0.0008943063],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5015171,"threshold_uncertainty_score":0.9974742,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02893206053508614,"score_gpt":0.2500366596544939,"score_spread":0.2211045991194077,"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."}}