{"id":"W4384111919","doi":"10.48550/arxiv.2307.04960","title":"Simple Reference Immutability for System F-sub","year":2023,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"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; Inheritance (genetic algorithm); Java; Simple (philosophy); Construct (python library); Context (archaeology); Subtyping; Completeness (order theory); Blockchain; Mathematics; Philosophy; Epistemology","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.002495931,0.0005785057,0.0006642527,0.0009106246,0.00170296,0.002250954,0.00119046,0.001506752,0.004324132],"category_scores_gemma":[0.005023676,0.0004377692,0.001408339,0.0004510737,0.003855794,0.002255023,0.003682903,0.002498184,0.001087884],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001324972,"about_ca_system_score_gemma":0.002560497,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00132367,"about_ca_topic_score_gemma":0.001176861,"domain_scores_codex":[0.9984795,0.0002676561,0.00008903742,0.000359007,0.0005511916,0.0002535062],"domain_scores_gemma":[0.9963404,0.001279246,0.0002541077,0.001410227,0.0005259984,0.0001900473],"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.0003766626,0.0001895603,0.005199972,0.0003963681,0.00008718888,0.00129713,0.001378278,0.01376099,0.04869282,0.8771114,0.004174615,0.04733497],"study_design_scores_gemma":[0.0001930407,0.0005484155,0.002212348,0.0001458313,0.0002543609,0.001598056,0.0002497749,0.1064275,0.09529553,0.7161299,0.07673388,0.000211479],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08238525,0.0001772726,0.8986222,0.0005721746,0.0002680002,0.0001841941,0.0002056555,0.007466468,0.01011874],"genre_scores_gemma":[0.6979138,0.0001784634,0.2900929,0.0005870208,0.0001606354,0.0002883523,0.0002912264,0.001258814,0.009228703],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004324132,"threshold_uncertainty_score":0.01446569,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1467438078105099,"score_gpt":0.2172503197020708,"score_spread":0.0705065118915609,"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."}}