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. 74 5:1-5:23. Schloss Dagstuhl ISSN 1868-8969 ISBN 9783959770354

[img] PDF - Accepted Version
Available under License Creative Commons Attribution.

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: 07 Nov 2017 14:00
URI: http://sro.sussex.ac.uk/id/eprint/68197

View download statistics for this item

📧 Request an update