{"id":"W2176580510","doi":"10.1007/978-3-540-25935-0_4","title":"DSL Implementation in MetaOCaml, Template Haskell, and C++","year":2004,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":112,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Haskell; Computer science; Programming language; Domain-specific language; Embedding; Digital subscriber line; Functional programming; Template; Generative grammar; Generic programming; Interpreter; Domain (mathematical analysis); Range (aeronautics); Artificial intelligence; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001046055,0.0004222333,0.0004802243,0.000751629,0.0001904574,0.0006636271,0.001478643,0.0002392611,0.00002014096],"category_scores_gemma":[0.00002085082,0.0003699989,0.00007437119,0.0005268896,0.0004162196,0.0006783623,0.0007744381,0.0004918679,0.00002821464],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002888662,"about_ca_system_score_gemma":0.0004161058,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003820535,"about_ca_topic_score_gemma":0.0009132977,"domain_scores_codex":[0.9968205,0.00003903207,0.0005561857,0.001311784,0.0006651492,0.0006073682],"domain_scores_gemma":[0.9985829,0.0001550198,0.0002653392,0.0007594434,0.000101608,0.0001357019],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000003023734,0.00002185902,0.000510162,0.0000622141,0.00001138867,0.0001424971,0.001662367,0.002282718,0.0000582905,0.3171879,0.000009594783,0.678048],"study_design_scores_gemma":[0.0008559361,0.0003198516,0.0008468858,0.0001067569,0.00001028466,0.0001408014,0.000001276697,0.02615895,0.0008544552,0.9661411,0.003730129,0.0008335448],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001814385,0.000870936,0.994552,0.0003947935,0.001136232,0.0005408229,0.000001271072,0.0001039983,0.00221856],"genre_scores_gemma":[0.9081573,0.00006795231,0.09075883,0.000615201,0.0002243621,0.00001682944,0.000006262841,0.00002464205,0.0001286536],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9079759,"threshold_uncertainty_score":0.9998752,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02400008559653709,"score_gpt":0.2772864200667095,"score_spread":0.2532863344701724,"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."}}