Title: Semantics engineering with PLT Redex
First published: 2009
Subjects: Redex (Computer program language), Domain-specific programming languages, Semantics, Programming languages (Electronic computers), Programming languages (electronic computers)
LC classification: QA76.73.R227 F45 2009