{"id":"W3081377611","doi":"10.1145/2578854.2503785","title":"Adding structure to monoids","year":2013,"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":"Magna International (Canada)","funders":"","keywords":"Haskell; Computer science; Monoid; Parsing; Programming language; Generic programming; Interface (matter); Functional programming; Theoretical computer science; Discrete mathematics; Mathematics; Operating system","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.005420582,0.000682781,0.0008105487,0.001828079,0.003098287,0.005063399,0.002973015,0.001660957,0.008057684],"category_scores_gemma":[0.01488253,0.001490726,0.001746385,0.0009465867,0.006100371,0.01607427,0.01145635,0.004069457,0.003255216],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001765407,"about_ca_system_score_gemma":0.002352682,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001382449,"about_ca_topic_score_gemma":0.002081067,"domain_scores_codex":[0.9953648,0.00149425,0.0004232949,0.0009617563,0.001358295,0.0003977166],"domain_scores_gemma":[0.991245,0.003144651,0.0003746606,0.003334257,0.001363481,0.0005379012],"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.00003592914,0.00001501901,0.0004586224,0.0001165834,0.00001064267,0.00008968936,0.000603431,0.0007473062,0.001254846,0.9666303,0.003083513,0.02695418],"study_design_scores_gemma":[0.00003568113,0.00005928454,0.0002288998,0.0002193918,0.00005208877,0.0004484074,0.0002048523,0.006500245,0.00645751,0.737339,0.2484083,0.00004639963],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02213538,0.001710023,0.9205765,0.002719947,0.001129769,0.0002033861,0.0003361428,0.004758536,0.04643028],"genre_scores_gemma":[0.2546663,0.001750325,0.7083606,0.003412681,0.0009017343,0.0005527162,0.0005818029,0.002418377,0.02735558],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008057684,"threshold_uncertainty_score":0.02866709,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02033894455871284,"score_gpt":0.2456823102907035,"score_spread":0.2253433657319907,"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."}}