Semantics engineering with PLT redex - Felleisen, Matthias; Findler, Robert Bruce; Flatt, Matthew (New Delhi, 2009)
Includes bibliographical references and index
Keywords: PLT Redex Programming language; Programming language; Semantics Programming language