{"id":"W3009278385","doi":"10.1145/3022670.2951929","title":"Indexed codata types","year":2016,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada; Fonds Québécois de la Recherche sur la Nature et les Technologies","keywords":"Computer science; Guard (computer science); Data type; Type (biology); Matching (statistics); Continuation; Programming language; Semantics (computer science); Pattern matching; Key (lock); Dual (grammatical number); Theoretical computer science; Mathematics","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.005859275,0.001222863,0.001438094,0.002219184,0.001791202,0.006513974,0.004834854,0.002260287,0.007785496],"category_scores_gemma":[0.01251054,0.001474406,0.002949183,0.002912321,0.005312349,0.01717639,0.006704765,0.004720452,0.002622147],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002570983,"about_ca_system_score_gemma":0.004115363,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003376667,"about_ca_topic_score_gemma":0.00319804,"domain_scores_codex":[0.9928422,0.000956538,0.001351206,0.001654159,0.002505371,0.000690593],"domain_scores_gemma":[0.9897158,0.002407198,0.0008387947,0.00460466,0.002096508,0.000337102],"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.00007448532,0.00001818506,0.00121408,0.0001175483,0.00002464454,0.0001495841,0.0004701887,0.001367702,0.001865867,0.9712014,0.003552911,0.01994345],"study_design_scores_gemma":[0.00004044025,0.00006112384,0.0002856103,0.0001588716,0.00007776477,0.0004613824,0.0002297323,0.01389976,0.013813,0.818886,0.1520105,0.00007590926],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009300349,0.0004093408,0.9700753,0.0005733772,0.0003167296,0.0001733957,0.001432833,0.00411426,0.0136044],"genre_scores_gemma":[0.2683524,0.0009105632,0.6956896,0.001357389,0.0003707428,0.0009882825,0.002977867,0.00422737,0.02512577],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007785496,"threshold_uncertainty_score":0.03098714,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03666207173781445,"score_gpt":0.2609169768718032,"score_spread":0.2242549051339887,"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."}}