Semantics engineering with PLT Redex - Felleisen, Matthias; Findler, Robert Bruce; Flatt, Matthew (New Delhi : PHI Learning, 2011)
Includes bibliographical references and index
Keywords: Redex (Computer program language); Domain -- -specific programming languages; Programming languages (Electronic computers) -- Semantics