University of Sussex
Browse

Modelling homogeneous generative meta-programming

Download (545.93 kB)
conference contribution
posted on 2023-06-09, 06:22 authored by Martin BergerMartin Berger, Laurence Tratt, Christian Urban
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.

History

Publication status

  • Published

File Version

  • Published version

Journal

Proceedings 31st European Conference on Object-Oriented Programming

ISSN

1868-8969

Publisher

Schloss Dagstuhl

Volume

74

Page range

5:1-5:23

Event name

31st European Conference on Object-Oriented Programming

Event location

Barcelona, Spain

Event type

conference

Event date

18 - 23 June 2017

Place of publication

Germany

ISBN

9783959770354

Series

Leibniz International Proceedings in Informatics (LIPIcs)

Department affiliated with

  • Informatics Publications

Full text available

  • Yes

Peer reviewed?

  • Yes

Legacy Posted Date

2017-05-23

First Open Access (FOA) Date

2017-09-01

First Compliant Deposit (FCD) Date

2017-05-22

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC