{"id":"W3157431840","doi":"10.1145/2544174.2500591","title":"Wellfounded recursion with copatterns","year":2013,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Normalization (sociology); Rewriting; Recursion (computer science); Programming language; Theoretical computer science; Functional programming; Data type; Algorithm","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.005993903,0.000493506,0.001274639,0.001016632,0.001740318,0.003213282,0.002280293,0.001084814,0.002960719],"category_scores_gemma":[0.01372699,0.001068272,0.002299178,0.0009839057,0.006196345,0.01037481,0.005836861,0.004209104,0.0008996054],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003315859,"about_ca_system_score_gemma":0.002952436,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003974529,"about_ca_topic_score_gemma":0.002942898,"domain_scores_codex":[0.9930835,0.001592553,0.0005722097,0.001757307,0.002207594,0.0007868836],"domain_scores_gemma":[0.9903368,0.004669603,0.0005433715,0.0027364,0.001440907,0.0002729314],"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.00006288206,0.000028636,0.001167036,0.00008690718,0.0000191395,0.0001593709,0.0009891732,0.00410999,0.003934941,0.9716414,0.0005968019,0.01720371],"study_design_scores_gemma":[0.00004402181,0.00008404502,0.0005235539,0.00008005663,0.00009049018,0.0004045422,0.0001500552,0.07876595,0.02494106,0.8655081,0.02933238,0.00007572189],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03061719,0.0001976418,0.9613279,0.0003079084,0.00006387976,0.00005963324,0.00008708725,0.001982291,0.005356461],"genre_scores_gemma":[0.5591253,0.0003218185,0.4278941,0.0004666285,0.0001506164,0.0002946341,0.0002496942,0.001624772,0.009872512],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005993903,"threshold_uncertainty_score":0.03169918,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02353269379013488,"score_gpt":0.2382345287073475,"score_spread":0.2147018349172126,"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."}}