Felleisen, Matthias
Semantics engineering with PLT Redex
- Cambridge: MIT Press, 2009
- xii, 502 p.; ill.: 24 cm.
9780262062756 (hbk)
Domain-specific programming languages
Redex - Computer program language
Analyzing Syntactic Semantics
Reduction semanitics
PLT redex
005.11 / FEL