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 reports@cs.cmu.edu