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


Safely Composable Type-Specific Languages

Cyrus Omar, Darya Kurilova, Ligia Nistor,
Benjamin Chung, Alex Potanin*, Jonathan Aldrich

July 2014


Keywords: Extensible languages, parsing, bidirectional typechecking, hygiene

We present additional details on our static semantics and our corpus analysis that were omitted from the main body of the paper Safely Composable Type-Specific Languages for concision.

13 pages

*Victoria University of Wellington

Return to: SCS Technical Report Collection
School of Computer Science

This page maintained by