{"id":"W4387673945","doi":"10.1145/3622828","title":"Simple Reference Immutability for System F <sub>&lt;:</sub>","year":2023,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Immutability; Soundness; Programming language; Scala; Computer science; Java; Inheritance (genetic algorithm); Simple (philosophy); Construct (python library); Context (archaeology); Subtyping; Theoretical computer science; Blockchain; Philosophy","routes":{"ca_aff":true,"ca_fund":true,"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.002264262,0.0005561655,0.000514987,0.0008174015,0.001761461,0.002151369,0.001171132,0.001554428,0.007241473],"category_scores_gemma":[0.003915605,0.0004459715,0.001404656,0.0003681986,0.003684247,0.002579719,0.003077236,0.002204114,0.001927416],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001315651,"about_ca_system_score_gemma":0.002313064,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002436627,"about_ca_topic_score_gemma":0.00207841,"domain_scores_codex":[0.9985669,0.0002280586,0.00008168528,0.0003599085,0.0004723893,0.0002911841],"domain_scores_gemma":[0.9971625,0.0007427555,0.0002338841,0.001179198,0.0005485716,0.0001329848],"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.0003844347,0.0001625531,0.003763302,0.0004234082,0.00007563632,0.001723924,0.001759819,0.01168201,0.0571305,0.8556746,0.008955047,0.0582647],"study_design_scores_gemma":[0.0001797933,0.0004841714,0.002630298,0.0002012994,0.0002395667,0.002064602,0.0002955434,0.08643315,0.1332288,0.5936809,0.1802924,0.0002696927],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05385808,0.000194852,0.9214406,0.0007246709,0.0004071415,0.000198808,0.0003066776,0.008362662,0.01450649],"genre_scores_gemma":[0.646789,0.000210861,0.3301634,0.0007504446,0.0002183265,0.0003111907,0.0004960557,0.002141153,0.01891948],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007241473,"threshold_uncertainty_score":0.02422512,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02971523116335913,"score_gpt":0.2777055378970418,"score_spread":0.2479903067336826,"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."}}