Hardback
Add to list Added to list Semantics Engineering with PLT Redex
Matthias Felleisen,Robert Bruce Findler,Matthew Flatt
The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.
Available to order, ships in approx 2 weeksAvailable to order