Institute for Software Research
School of Computer Science, Carnegie Mellon University
Reasonably Programmable Literal Notation:
Cyrus Omar, Jonathan Aldrich
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.