cameraready.pdf (545.93 kB)
Modelling homogeneous generative meta-programming
conference contribution
posted on 2023-06-09, 06:22 authored by Martin BergerMartin Berger, Laurence Tratt, Christian UrbanHomogeneous 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.
History
Publication status
- Published
File Version
- Published version
Journal
Proceedings 31st European Conference on Object-Oriented ProgrammingISSN
1868-8969Publisher
Schloss DagstuhlExternal DOI
Volume
74Page range
5:1-5:23Event name
31st European Conference on Object-Oriented ProgrammingEvent location
Barcelona, SpainEvent type
conferenceEvent date
18 - 23 June 2017Place of publication
GermanyISBN
9783959770354Series
Leibniz International Proceedings in Informatics (LIPIcs)Department affiliated with
- Informatics Publications
Full text available
- Yes
Peer reviewed?
- Yes