Semantics Engineering with PLT Redex

Matthias Felleisen, Robby Findler, Matthew Flatt. Semantics Engineering with PLT Redex. MIT Press, 2009. [doi]

Abstract

Abstract is missing.