{"id":"W4238735203","doi":"10.1145/2103656.2103705","title":"Programming with binders and indexed data-types","year":2012,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Decidability; Elegance; Programming language; Normalization (sociology); Index (typography); Modular design; Data type; Closure (psychology); Artificial intelligence; Natural language processing; Theoretical computer science","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.01027716,0.001096446,0.001499754,0.001704263,0.002056574,0.007581308,0.004869538,0.001800151,0.007409117],"category_scores_gemma":[0.0130987,0.001682265,0.002850449,0.002411681,0.00643813,0.02023822,0.008783105,0.004681974,0.002075658],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002229467,"about_ca_system_score_gemma":0.002880765,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001775026,"about_ca_topic_score_gemma":0.002227524,"domain_scores_codex":[0.9933302,0.001533251,0.001024951,0.001181584,0.002195499,0.0007344578],"domain_scores_gemma":[0.9925868,0.002913839,0.0004778066,0.002960135,0.0007744576,0.0002870274],"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.00005692157,0.00003030529,0.0005361045,0.0001529682,0.00002141518,0.0001885639,0.0008360369,0.001825819,0.002799916,0.9630857,0.001595056,0.02887123],"study_design_scores_gemma":[0.00007461165,0.000080595,0.0002200412,0.0001710146,0.000154467,0.0006636981,0.0002920082,0.02853496,0.0269791,0.8462192,0.09648523,0.0001250761],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003910315,0.0001305246,0.988169,0.0002420431,0.00006852826,0.00005676871,0.0001040464,0.002756791,0.004562085],"genre_scores_gemma":[0.1547531,0.0005715877,0.8300765,0.0005360487,0.000214614,0.0003636904,0.0003080968,0.002523167,0.01065316],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01027716,"threshold_uncertainty_score":0.05435151,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04507545720506613,"score_gpt":0.2619753840707251,"score_spread":0.216899926865659,"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."}}