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