{"id":"W2554005092","doi":"10.1145/3103111.3104036","title":"Mutable WadlerFest DOT","year":2017,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Scala; Focus (optics); Computer science; Subtyping; Translation (biology); Path (computing); Object (grammar); Type (biology); Programming language; Artificial intelligence; Physics; Java; Chemistry","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.001299056,0.0006318981,0.0007740758,0.0007616393,0.001208118,0.002437052,0.001878781,0.0009955766,0.02145421],"category_scores_gemma":[0.004264963,0.0006058565,0.001204852,0.0006907129,0.00165492,0.005102238,0.005398524,0.002418608,0.008359846],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001103543,"about_ca_system_score_gemma":0.001593748,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002363548,"about_ca_topic_score_gemma":0.003261053,"domain_scores_codex":[0.9982656,0.0001775617,0.0001216112,0.000435035,0.0007140894,0.0002861154],"domain_scores_gemma":[0.9979222,0.0003022233,0.0001107574,0.001090821,0.000459892,0.0001141393],"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.0004264877,0.00009044063,0.002759275,0.0002966397,0.00006364112,0.0004798063,0.0005603344,0.004712537,0.01378152,0.8024718,0.05838081,0.1159767],"study_design_scores_gemma":[0.0001003242,0.00005802623,0.001090775,0.0001616219,0.00008018409,0.0005352057,0.0001185077,0.02950284,0.03107887,0.3931134,0.544043,0.0001172366],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.03669202,0.0005770284,0.7971833,0.001306309,0.001401559,0.0001413966,0.004524211,0.05843701,0.09973719],"genre_scores_gemma":[0.4610066,0.0008236191,0.3098533,0.001764543,0.0005515356,0.0005601489,0.007587854,0.0259514,0.191901],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.02145421,"threshold_uncertainty_score":0.0717715,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03819743622364066,"score_gpt":0.2673735871347359,"score_spread":0.2291761509110952,"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."}}