Matthias Felleisen Books
Semantics Engineering with PLT Redex
The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.This text is the first comprehensive presentation of reduction semantic...
Read More