Institute for Software Research
School of Computer Science, Carnegie Mellon University


Reasonably Programmable Literal Notation:
Supplemental Material

Cyrus Omar, Jonathan Aldrich

July 2018


Keywords: Extensible syntax, macros, hygiene, type systems

This report presents a complete technical account of the formal system that was described in the accompanying paper, as well as more details on the quasiquotation TLM.

Cyrus Omar and Jonathan Aldrich. 2018. Reasonably Programmable Literal Notation. Proc. ACM Program. Lang. 2, ICFP, Article 106 (September 2018).

58 pages

Return to: SCS Technical Report Collection
School of Computer Science

This page maintained by