{"id":"W2952230935","doi":"10.1145/3341715","title":"Mixed linear and non-linear recursive types","year":2019,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Future Earth","funders":"Air Force Office of Scientific Research; Leibniz-Gemeinschaft; Simons Institute for the Theory of Computing, University of California Berkeley; Multidisciplinary University Research Initiative; Agence Nationale de la Recherche","keywords":"Recursion (computer science); Linear programming; Linear logic; Categorical variable; Type theory; Type (biology); Computer science; Mathematics; Algorithm; Theoretical computer science; Algebra over a field; Pure 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004705583,0.0001924705,0.000265142,0.00008673043,0.0001041749,0.000137543,0.001952955,0.0001023826,0.00000393958],"category_scores_gemma":[0.0005587736,0.0001236038,0.00009720132,0.0003708384,0.00008964671,0.000251626,0.0009531727,0.0002010197,0.00004823301],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001980178,"about_ca_system_score_gemma":0.00002260477,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005217963,"about_ca_topic_score_gemma":0.000002594111,"domain_scores_codex":[0.9986638,0.00001228871,0.0002333305,0.0004232132,0.000335707,0.0003316975],"domain_scores_gemma":[0.9987746,0.0000882019,0.0002742054,0.0005909192,0.0002000105,0.00007206829],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001208386,0.0004981548,0.107182,0.00143878,0.0003055826,0.00001126254,0.0151933,0.00001425762,0.01714985,0.4900083,0.002789858,0.3652878],"study_design_scores_gemma":[0.007256579,0.007601182,0.04011223,0.001222212,0.0003633953,0.0003854689,0.01789865,0.007517797,0.58289,0.118425,0.212277,0.004050559],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9893535,0.0007641301,0.0006984755,0.001826028,0.0007533122,0.001170763,0.000001221035,0.0003012049,0.005131344],"genre_scores_gemma":[0.9657005,0.00001470586,0.03290595,0.0001138353,0.0001239241,0.00002701326,8.633929e-7,0.00001841307,0.001094811],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5657402,"threshold_uncertainty_score":0.5040418,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0176829230882769,"score_gpt":0.2565652080810734,"score_spread":0.2388822849927965,"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."}}