{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001526678,0.0002009184,0.0002447598,0.0001034782,0.0001308046,0.0002588551,0.0008512515,0.0001141566,0.00007050886],"category_scores_gemma":[0.0001226547,0.0001554567,0.0001257368,0.0002305792,0.00004773261,0.0002921246,0.0001743541,0.0001168003,0.0001023065],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000528043,"about_ca_system_score_gemma":0.00009860387,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001694118,"about_ca_topic_score_gemma":0.0006350742,"domain_scores_codex":[0.998168,0.00007742818,0.0003828172,0.0004628867,0.0003346139,0.0005742479],"domain_scores_gemma":[0.998746,0.0002324072,0.000138326,0.0005483617,0.0001919349,0.0001429813],"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.0002171369,0.0002869354,0.005417836,0.0002054695,0.0002348539,0.0001450416,0.006375899,0.0001418732,0.006696574,0.6375074,0.01826212,0.3245089],"study_design_scores_gemma":[0.01112176,0.004727951,0.01549467,0.0001101392,0.0002707343,0.0002027354,0.006916849,0.09630142,0.09580728,0.06289984,0.700903,0.005243662],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01125376,0.0001328191,0.977002,0.0002883239,0.0006781531,0.0005899069,0.000002350625,0.0003937879,0.00965891],"genre_scores_gemma":[0.9823599,0.000002823578,0.01332441,0.0006483087,0.000167644,0.00004120614,0.00001308519,0.0000188079,0.003423746],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9711062,"threshold_uncertainty_score":0.6339342,"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."}}