{"id":"W2062757415","doi":"10.1145/2103621.2103705","title":"Programming with binders and indexed data-types","year":2012,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Programming language; Decidability; Type safety; Operational semantics; Data type; Type theory; Undecidable problem; Modular design; Programming language specification; Theoretical computer science; Semantics (computer science); Type (biology); Programming paradigm; Inductive programming; Programming domain","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.009844448,0.001017823,0.001316334,0.001523038,0.001820254,0.006088198,0.005334479,0.001877088,0.008411816],"category_scores_gemma":[0.01179223,0.001863379,0.002943216,0.002008376,0.006118476,0.01732161,0.00915558,0.00503298,0.002741501],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002008172,"about_ca_system_score_gemma":0.00344746,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002662496,"about_ca_topic_score_gemma":0.003238202,"domain_scores_codex":[0.9939507,0.001297618,0.0008283336,0.001101963,0.002047471,0.0007738577],"domain_scores_gemma":[0.9915529,0.003110746,0.0005442167,0.003533009,0.0009502376,0.0003089474],"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.0000462941,0.00002624169,0.0004656932,0.0001444352,0.00001976505,0.0001512986,0.0007399695,0.002071777,0.002928977,0.9654945,0.001715187,0.02619576],"study_design_scores_gemma":[0.00007597628,0.0000927035,0.0002271759,0.0001561003,0.0001430529,0.0006146949,0.0002950369,0.03639137,0.02905256,0.8047749,0.1280506,0.0001258915],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002414319,0.00008847762,0.9920826,0.0002219655,0.0000524301,0.00004890002,0.00008088473,0.002034479,0.002975941],"genre_scores_gemma":[0.09346531,0.0003989543,0.8930724,0.0004722775,0.000130757,0.0002818707,0.0002351485,0.001760674,0.01018262],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009844448,"threshold_uncertainty_score":0.05206305,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05305382815606168,"score_gpt":0.2724485179284469,"score_spread":0.2193946897723852,"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."}}