Advanced Macrology and the Implementation of Typed Scheme
Ryan Culpepper, Sam Tobin-Hochstadt, Matthew Flatt · 2007
PLT Scheme provides an expressive programming language implementation framework in order to enable experimentation with language design. This framework is rooted in PLT Scheme’s hygienic macro system, but it has grown to encompass features that extend its capabilities beyond that of traditional macro systems. In this paper we describe the features of PLT Scheme’s language framework and demonstrate their use with a case study. Specifically, we present the design and implementation of Typed Scheme using the advanced language construction features of PLT Scheme.