Modelling homogeneous generative meta-programming

Berger, Martin, Tratt, Laurence and Urban, Christian (2017) Modelling homogeneous generative meta-programming. 31st European Conference on Object-Oriented Programming, Barcelona, Spain, 18 - 23 June 2017. Published in: Proceedings 31st European Conference on Object-Oriented Programming. Schloss Dagstuhl ISSN 1868-8969 (Accepted)

[img] PDF - Accepted Version
Restricted to SRO admin only

Download (559kB)

Abstract

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.

Item Type: Conference Proceedings
Schools and Departments: School of Engineering and Informatics > Informatics
Related URLs:
Depositing User: Martin Berger
Date Deposited: 23 May 2017 08:45
Last Modified: 23 May 2017 13:07
URI: http://sro.sussex.ac.uk/id/eprint/68197

View download statistics for this item

📧 Request an update