{"id":"W2291292811","doi":"","title":"Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages","year":2007,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Programming language; Computer science; Metalanguage; Haskell; System F; Functional programming; Lambda calculus; Interpreter; Partial evaluation; Data type; Arity; Type theory; Typed lambda calculus; Dependent type; Type (biology); Mathematics; Discrete 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001488039,0.0004195393,0.0004260249,0.0005109563,0.0005835106,0.002762429,0.00127828,0.0007463124,0.00397912],"category_scores_gemma":[0.003199919,0.0005625882,0.001139097,0.0003970817,0.003151506,0.004371768,0.002013715,0.002414053,0.001175409],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001247301,"about_ca_system_score_gemma":0.001249995,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009378216,"about_ca_topic_score_gemma":0.001697718,"domain_scores_codex":[0.9987485,0.0003156209,0.0001116557,0.0001942447,0.0004510837,0.0001788149],"domain_scores_gemma":[0.9984877,0.000323303,0.0001029533,0.0006311965,0.000359551,0.00009523547],"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.0001262316,0.00004475476,0.0006800855,0.0001418705,0.00002025719,0.0003420441,0.00134331,0.01229611,0.01849656,0.9336035,0.001943036,0.03096228],"study_design_scores_gemma":[0.0000795595,0.0001205298,0.0003629443,0.00009926717,0.00007160427,0.0003981604,0.0002422092,0.09452425,0.0523103,0.79346,0.05824066,0.0000906865],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02324005,0.0001118688,0.9657531,0.0002589359,0.0001119227,0.00004962195,0.0001255301,0.002866453,0.007482515],"genre_scores_gemma":[0.4404663,0.0001940221,0.539049,0.0004807827,0.00009098813,0.00009681916,0.0002583503,0.002305957,0.01705792],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00397912,"threshold_uncertainty_score":0.01331145,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0337617687571195,"score_gpt":0.3211098287862286,"score_spread":0.2873480600291091,"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."}}