{"id":"W2231997718","doi":"","title":"Applications of Languages with Self-Interpreters to Partial Terms and Functional Programming","year":2014,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Interpreter; Computer science; Programming language; Formalism (music); Partial evaluation; Recursion (computer science); Functional programming; Simple (philosophy); Theory of computation","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.004777943,0.0003936409,0.0003606093,0.0007794467,0.001000392,0.002119473,0.0009323885,0.001033055,0.002538691],"category_scores_gemma":[0.006732645,0.0007074215,0.001215292,0.000487184,0.006384919,0.004031674,0.0026888,0.002234101,0.0003814423],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001326438,"about_ca_system_score_gemma":0.001100154,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001127093,"about_ca_topic_score_gemma":0.001093491,"domain_scores_codex":[0.9981494,0.0009905813,0.0001827916,0.0001747235,0.000368031,0.0001344702],"domain_scores_gemma":[0.9949891,0.003229759,0.0003294025,0.0007371181,0.00053244,0.0001821371],"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.00002858241,0.00002960127,0.0004023498,0.00006468607,0.00001106648,0.0003664265,0.001023081,0.007009968,0.002995575,0.9764057,0.0007584406,0.01090456],"study_design_scores_gemma":[0.00004784568,0.00007341877,0.0002058052,0.0001067131,0.00003702185,0.0006917301,0.0002918785,0.1133201,0.01330236,0.8421681,0.02971214,0.00004292042],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03250287,0.0002530495,0.9521229,0.001333453,0.000125094,0.00009348635,0.00003261701,0.001223789,0.01231277],"genre_scores_gemma":[0.5133848,0.0003648497,0.4783103,0.000560028,0.0001665064,0.0001281571,0.00005610155,0.0005011068,0.006528159],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004777943,"threshold_uncertainty_score":0.02526844,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007363643905978423,"score_gpt":0.2283048481686775,"score_spread":0.2209412042626991,"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."}}