{"id":"W2085552917","doi":"10.1145/2500365.2500591","title":"Wellfounded recursion with copatterns","year":2013,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":71,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Normalization (sociology); Computer science; Rewriting; Recursion (computer science); Theoretical computer science; Programming language; Pattern matching; Data type; Functional programming; Algorithm; Algebra over a field; Discrete mathematics; Mathematics; Pure 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00602604,0.0004902934,0.001275553,0.001060472,0.001708136,0.00324211,0.002205813,0.001084523,0.002819495],"category_scores_gemma":[0.01353158,0.001043791,0.002284906,0.001012985,0.006232756,0.0102185,0.005824856,0.004193922,0.0008421675],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003296113,"about_ca_system_score_gemma":0.002799416,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003758153,"about_ca_topic_score_gemma":0.002787615,"domain_scores_codex":[0.9932193,0.001554703,0.0005721635,0.001740934,0.002140174,0.0007727969],"domain_scores_gemma":[0.9903241,0.004620775,0.0005450939,0.002788461,0.001445495,0.0002761185],"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.00006419173,0.00002854533,0.001186312,0.00008412952,0.00001956532,0.0001606146,0.0009610517,0.004052665,0.004056382,0.9715366,0.0005610616,0.01728901],"study_design_scores_gemma":[0.0000437908,0.00008045632,0.0005154242,0.00007729635,0.00008938973,0.0003993782,0.0001436227,0.0767644,0.02510541,0.8700151,0.02669155,0.00007415094],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03296203,0.000200132,0.9590039,0.0003061577,0.0000628882,0.00006003593,0.00008863128,0.002016738,0.005299552],"genre_scores_gemma":[0.5813059,0.0003048544,0.4066333,0.0004525164,0.0001417617,0.0002881738,0.0002364795,0.001533878,0.009103131],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00602604,"threshold_uncertainty_score":0.03186917,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01757718411116714,"score_gpt":0.2234025139826172,"score_spread":0.2058253298714501,"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."}}