Felleisen Matthias, Findler Robert Bruce, Flatt Matthew:
Semantics Engineering With Plt Redex
Mit Press Ltd (United States), 2009
Hardback, 528 pages
Size: 229x178 mm
ISBN: 9780262062756
ISBN-10: 0262062755
List price: £33.95
You save: 5%
Robert Bruce Findler
Phd Candidate In Computer Science, Rice University, USA
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.

