{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002077404,0.000653246,0.0008077634,0.0007628622,0.001155642,0.002159024,0.003118555,0.001608339,0.01397457],"category_scores_gemma":[0.006462268,0.0007448948,0.001364594,0.0008238488,0.002550322,0.005946095,0.008921678,0.002352358,0.003823705],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001202442,"about_ca_system_score_gemma":0.001270405,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002354183,"about_ca_topic_score_gemma":0.002786531,"domain_scores_codex":[0.9974589,0.0002948759,0.0001695199,0.0004633041,0.001089228,0.0005242368],"domain_scores_gemma":[0.9953364,0.0004888671,0.0002951236,0.003223482,0.0004947606,0.0001614453],"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.0006238738,0.0002071522,0.004381483,0.0006847118,0.00009881223,0.0009839879,0.001792031,0.005248524,0.06499989,0.7041685,0.03410256,0.1827085],"study_design_scores_gemma":[0.0001032648,0.0002086698,0.003149306,0.0003806565,0.0001571523,0.002364946,0.0003429246,0.03907166,0.06121765,0.2694898,0.6233139,0.0002002059],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05361528,0.000562476,0.8518944,0.0009728646,0.0004615545,0.0002929698,0.00066509,0.02901121,0.06252424],"genre_scores_gemma":[0.6078277,0.0008829871,0.3040914,0.002543783,0.000275574,0.0005567581,0.001532665,0.010643,0.07164607],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01397457,"threshold_uncertainty_score":0.04674959,"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."}}