{"id":"W3129914072","doi":"10.46298/lmcs-18(1:33)2022","title":"A tier-based typed programming language characterizing Feasible Functionals","year":2022,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Type inference; Computer science; Oracle; Decidability; Programming language; Characterization (materials science); Class (philosophy); Type (biology); Theoretical computer science; Complexity class; Inference; Time complexity; Discrete mathematics; Mathematics; Algorithm; Artificial intelligence","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.002088124,0.0006649291,0.0006245003,0.001487879,0.0009548308,0.00455273,0.001681702,0.001306812,0.00775251],"category_scores_gemma":[0.004680614,0.0007815373,0.001507213,0.001728448,0.002408137,0.007356394,0.001980729,0.002365786,0.001328476],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00177457,"about_ca_system_score_gemma":0.001532401,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002519029,"about_ca_topic_score_gemma":0.001979525,"domain_scores_codex":[0.9981138,0.0003148809,0.0001884469,0.0005124114,0.0005038326,0.0003667691],"domain_scores_gemma":[0.9965379,0.001491831,0.0004065155,0.0007085861,0.0006366462,0.0002184774],"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.0001185306,0.00002711916,0.0008458806,0.0001041747,0.00001492031,0.0001641229,0.000436266,0.005439291,0.01138741,0.9675673,0.00173376,0.01216125],"study_design_scores_gemma":[0.00003230502,0.0001087527,0.001150948,0.00007426645,0.00005920919,0.0009547689,0.0003059703,0.07024756,0.01177927,0.8778286,0.03733679,0.0001216658],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04011874,0.0001865706,0.9439121,0.0005880982,0.00006845645,0.0001244965,0.001569134,0.001873899,0.01155857],"genre_scores_gemma":[0.6026112,0.0002930227,0.3838891,0.000578745,0.0001298945,0.0003144103,0.001442025,0.0007230455,0.01001853],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00775251,"threshold_uncertainty_score":0.0259347,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08669493134337099,"score_gpt":0.3739833435503497,"score_spread":0.2872884122069788,"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."}}