{"id":"W1971907018","doi":"10.1017/s0956796806006125","title":"Featherweight generic confinement","year":2006,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Marsden Fund; Royal Society Te Apārangi","keywords":"Computer science; Programming language; Java; Encapsulation (networking); Type (biology); Computer security","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.0006563843,0.0001407694,0.0002113218,0.0001588044,0.0001507185,0.0002543942,0.0003923062,0.00005867474,0.00005103761],"category_scores_gemma":[0.00002087863,0.0001044353,0.0001972707,0.0003224247,0.00003861095,0.0003553664,0.00006251022,0.0001753315,0.00003625472],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008025442,"about_ca_system_score_gemma":0.0001222883,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003785153,"about_ca_topic_score_gemma":0.000007663179,"domain_scores_codex":[0.998336,0.00005570788,0.0005395336,0.0001797851,0.0006078542,0.0002811624],"domain_scores_gemma":[0.9988322,0.00005175134,0.0004864611,0.0001850752,0.0003512113,0.00009331839],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003776815,0.0005657432,0.006186129,0.00003957891,0.0001499615,0.000200436,0.000148614,0.000900153,0.002007468,0.5759544,0.0190163,0.3947934],"study_design_scores_gemma":[0.0008684225,0.0005009149,0.004803681,0.000008936357,0.00002827113,0.000902232,0.00005607639,0.001279814,0.000638488,0.01807409,0.9726054,0.0002336494],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003760468,0.001602105,0.9881501,0.0006315922,0.001919173,0.0001375953,1.348953e-7,0.0000677682,0.003731026],"genre_scores_gemma":[0.9670733,0.000007436807,0.02996868,0.0001494719,0.001557844,0.000009331177,0.000002455101,0.00001056455,0.001220885],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9633129,"threshold_uncertainty_score":0.4258748,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02412810170891239,"score_gpt":0.2259490081546352,"score_spread":0.2018209064457228,"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."}}