{"id":"W2500839137","doi":"","title":"Bimonadic Semantics for Basic Pattern Matching Calculi","year":2006,"lang":"en","type":"article","venue":"","topic":"Hermeneutics and Narrative Identity","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Soundness; Haskell; Computer science; Monad (category theory); Pattern matching; Semantics (computer science); Functional programming; Programming language; Matching (statistics); Denotational semantics; Axiom; Theoretical computer science; Operational semantics; Lazy evaluation; Algorithm; Functor; Mathematics; Discrete 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.003008701,0.0006562187,0.0007478091,0.001809935,0.002568245,0.004123301,0.002170081,0.001476582,0.005108606],"category_scores_gemma":[0.003158585,0.0006844091,0.001609941,0.001763103,0.005072858,0.006576893,0.004569917,0.002955224,0.001158906],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002400236,"about_ca_system_score_gemma":0.001442541,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001734476,"about_ca_topic_score_gemma":0.001738704,"domain_scores_codex":[0.9973626,0.0006223488,0.0003388961,0.0004682454,0.0008674557,0.0003404908],"domain_scores_gemma":[0.9986292,0.0004889437,0.0001136246,0.0002761113,0.0003548619,0.0001373598],"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.000007820043,0.000008449501,0.00002931298,0.00002274876,0.000002551758,0.0000278573,0.000197788,0.0003193022,0.0004023486,0.9956788,0.0002060691,0.00309683],"study_design_scores_gemma":[0.00001784075,0.00001230745,0.00004962929,0.00001405763,0.000008155052,0.0000665291,0.00007176094,0.004686663,0.0009633885,0.9798313,0.01426572,0.00001269139],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02317425,0.0006625364,0.9295788,0.001038494,0.000279448,0.0001573758,0.0002649085,0.000844582,0.04399945],"genre_scores_gemma":[0.4833987,0.0007804597,0.4944036,0.001147538,0.0003721077,0.0008439409,0.000478113,0.0003343626,0.01824123],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005108606,"threshold_uncertainty_score":0.01741499,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02609610457143216,"score_gpt":0.2338046965250143,"score_spread":0.2077085919535821,"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."}}