Semantics Engineering with PLT Redex

Zusammenfassung The first comprehensive presentation of reduction semantics in one volume! and the first tool set for such forms of semantics. Informationen zum Autor Matthias Felleisen is Trustee Professor of Computer Science at Northeastern University! recipient of the Karl V. Karlstrom Outstanding Educator Award! and co-author (with Daniel Friedman) of The Little Schemer and three other "Little" books published by the MIT Press. Robert Bruce Findler is Assistant Professor of Electrical Engineering and Computer Science at Northwestern University. Matthew Flatt is Associate Professor in the School of Computing at the University of Utah. Klappentext The first comprehensive presentation of reduction semantics in one volume! and the first tool set for such forms of semantics.

Autorentext
Matthias Felleisen is Trustee Professor in the College of Computer Science at Northeastern University.Robert Bruce Findler is Associate Professor of Computer Science at Northwestern University.Matthew Flatt is Professor in the School of Computing at the University of Utah.

Klappentext
The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.

#	Onlineshop	Preis CHF	Versand CHF	Total CHF
1	Seller	0.00	0.00	0.00