Semantics Engineering With Plt Redex

By Matthew Flatt, Matthias Felleisen, Robert Bruce Findler

Book Overview

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 8120343204
• ISBN13: 9788120343207
• Release Date: January 2016
• Publisher: PRENTICE HALL
• Weight: 1.69 lbs.
• Dimensions: 0.9" x 7.0" x 9.2"