{"id":"W2022012038","doi":"10.1145/2502488.2502493","title":"Multi-polymorphic programming in bondi","year":2013,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Programming language; Computer science; Programming paradigm; Path (computing); Context (archaeology); Computation; Declarative programming; Theoretical computer science; Inductive programming","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.004044772,0.000435368,0.0006014116,0.00116056,0.002512731,0.004480714,0.001882268,0.00100134,0.009648595],"category_scores_gemma":[0.005761104,0.0008527458,0.0009764601,0.00190293,0.003242804,0.006501682,0.004797122,0.002668877,0.0026218],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00230301,"about_ca_system_score_gemma":0.002494869,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003644913,"about_ca_topic_score_gemma":0.003814688,"domain_scores_codex":[0.9962776,0.0009605988,0.0002782885,0.0007123905,0.001428809,0.0003423856],"domain_scores_gemma":[0.9972126,0.0008715835,0.0003042941,0.0008338838,0.0005294516,0.0002481005],"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.00003816115,0.00001264434,0.0002649892,0.00002980321,0.000004940612,0.00005064396,0.0004872421,0.000667298,0.0008912894,0.9754091,0.002869007,0.01927477],"study_design_scores_gemma":[0.00005222834,0.00004305616,0.0003275012,0.00007015582,0.00002936371,0.0006297553,0.0002971507,0.02465159,0.005406837,0.7263868,0.2420237,0.0000819168],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02064176,0.0005034066,0.8676609,0.002539771,0.0003604433,0.0001394486,0.0003206965,0.002805123,0.1050284],"genre_scores_gemma":[0.3167436,0.000731224,0.6138133,0.0007605192,0.0002372733,0.0005689301,0.0004247129,0.001615466,0.06510492],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009648595,"threshold_uncertainty_score":0.03227776,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02857940199603974,"score_gpt":0.2488170118049521,"score_spread":0.2202376098089123,"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."}}