2026-07-20T06:35:54Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7277 2024-03-12T11:58:40Z ddc:004 open_access

Modelling Homogeneous Generative Meta-Programming Berger, Martin Tratt, Laurence Urban, Christian Formal Methods Meta-Programming Operational Semantics Types Quasi-Quotes Abstract Syntax Trees Homogeneous generative meta-programming (HGMP) enables the generation of program fragments at compile-time or run-time. We present a foundational calculus which can model both compile-time and run-time evaluated HGMP, allowing us to model, for the first time, languages such as Template Haskell. The calculus is designed such that it can be gradually enhanced with the features needed to model many of the advanced features of real languages. We demonstrate this by showing how a simple, staged type system as found in Template Haskell can be added to the calculus. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Martin Berger and Laurence Tratt and Christian Urban 2017 Is Part Of LIPIcs, Volume 74, 31st European Conference on Object-Oriented Programming (ECOOP 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECOOP.2017.5 urn:nbn:de:0030-drops-72775 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.5 eng https://creativecommons.org/licenses/by/3.0/legalcode