Semantics engineering with PLT Redex - Felleisen, Matthias; Findler, Robert Bruce; Flatt, Matthew (Cambridge, Mass. : MIT Press, 2009)
Includes bibliographical references and index.
Keywords: Redex (Computer program language); Domain-specific programming languages; Programming languages (Electronic computers) -- Semantics