Matthias Felleisen, Robert Bruce Findler, Matthew Flatt
Sari: The MIT Press
(Ilmumisaeg: 10-Jul-2009, Hardback, Kirjastus: MIT Press, ISBN-13: 9780262062756)
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 one volume; it also introduces the firs...Loe edasi...
