Semantics Engineering with PLT Redex Hardcover by Matthias Felleisen, Robert Bruce Findler, and Matthew Flatt Condition:New He is the groundbreaking author

He is the groundbreaking author of such works as Quincas Borba

"I listened to the women in my family tell stories of the past

practical knowledge of how to look after our brain is thin on the ground

a fortune from a secret donor - Dickens's late novel is a masterpiece of psychological and moral truth

hippos in leotards

Semantics Engineering with PLT Redex Hardcover by Matthias Felleisen, Robert Bruce Findler, and Matthew Flatt Condition:New He is the groundbreaking authorProduct Details Publisher: The MIT Press (2009 07 10) Language: English Paperback: 520 pages ISBN 13: 9780262062756 Item Weight: 975. 24 grams Dimensions: 9. 31 x 7. 31 x 1. 1 cm 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 first reliable and easy to use tool