Semantics Engineering with PLT Redexthe_mit_press978-02-6206-275-697802620627562009-07-10English (United States)520HardcoverBook profileEnglish (United States)
Book · 1 edition
Semantics Engineering with PLT Redex
- 2009
- first published
- English
- language
- 1
- edition in English
- 520
- pages
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 semantics in...
Editions
1 edition · sort: newestSemantics Engineering with PLT Redexthe_mit_press978-02-6206-275-697802620627562009-07-10English (United States)520Hardcover