Semantics engineering with PLT redex / Matthias Felleisen
By: Felleisen, Matthias.
Contributor(s): Findler, Robert Bruce | Flatt, Matthew.
Material type:
BookPublisher: New Delhi : PHI Learning, 2011Description: xii, 502 p. ill.ISBN: 9788120343207.Subject(s): Object-oriented methods (Computer science) | Object-oriented programming (Computer science)DDC classification: 005.133 F318S 2011 Summary: The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.
| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Information Technology University, Lahore General Stacks | Non-fiction | 005.133 F318S 2011 (Browse shelf) | Available | 001308 |
Total holds: 0
Browsing Information Technology University, Lahore Shelves , Shelving location: General Stacks , Collection code: Non-fiction Close shelf browser
| No cover image available | ||||||||
| 005.133 E191T 2013 v.2 Thinking in C++ : | 005.133 E53T 2013 Thinking in Java / | 005.133 E99A 2012 An inroduction to pattern in c++ with Qt | 005.133 F318S 2011 Semantics engineering with PLT redex / | 005.133 F727C 2007 Computer science : | 005.133 F727C 2012 Computer science : | 005.133 F727C 2014 Computer science : |
includes index.
The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.
pbk.
There are no comments for this item.