A Specification for Typed Template Haskell
Programming Languages
2021-12-08 v1
Abstract
Multi-stage programming is a proven technique that provides predictable performance characteristics by controlling code generation. We propose a core semantics for Typed Template Haskell, an extension of Haskell that supports multi staged programming that interacts well with polymorphism and qualified types. Our semantics relates a declarative source language with qualified types to a core language based on the the polymorphic lambda calculus augmented with multi-stage constructs.
Cite
@article{arxiv.2112.03653,
title = {A Specification for Typed Template Haskell},
author = {Matthew Pickering and Andres Löh and Nicolas Wu},
journal= {arXiv preprint arXiv:2112.03653},
year = {2021}
}