{"id":"W1792817236","doi":"10.3233/fun-2006-71406","title":"On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching","year":2006,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Algorithms and Data Compression","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Brock University","funders":"","keywords":"Computer science; Programming language; Object (grammar); Matching (statistics); Object-oriented programming; Theoretical computer science; Artificial intelligence; 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.02390296,0.001417916,0.002453127,0.003359328,0.004948073,0.009086329,0.004050064,0.009101876,0.005160441],"category_scores_gemma":[0.06331109,0.002123711,0.003047664,0.008786602,0.01530903,0.04201546,0.009892276,0.009503907,0.001350276],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004006387,"about_ca_system_score_gemma":0.002540097,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002940761,"about_ca_topic_score_gemma":0.001322531,"domain_scores_codex":[0.9750249,0.01113315,0.002275594,0.003198793,0.007142582,0.001225042],"domain_scores_gemma":[0.9275562,0.05902962,0.003129408,0.006489319,0.003075372,0.0007201483],"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.00005620234,0.00005197083,0.0004490447,0.0002287591,0.00002420697,0.0003591321,0.001204077,0.005116057,0.0002918336,0.953954,0.003733896,0.03453085],"study_design_scores_gemma":[0.00002031348,0.00002042627,0.0001321958,0.0000977467,0.00001449124,0.0005657199,0.0002343654,0.01160224,0.0004709929,0.9757367,0.01107218,0.00003241405],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02491684,0.01252674,0.9196927,0.02157943,0.0006554174,0.0002099275,0.0001211948,0.0007269288,0.01957085],"genre_scores_gemma":[0.3626263,0.02050577,0.5709283,0.00794048,0.005583249,0.001007604,0.000529838,0.001769066,0.02910939],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02390296,"threshold_uncertainty_score":0.1264125,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004100339476644207,"score_gpt":0.2058428074781274,"score_spread":0.2017424680014832,"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."}}