Tell your friends about this item:
Higher Order Operational Techniques in Semantics - Publications of the Newton Institute Andrew D Gordon
Higher Order Operational Techniques in Semantics - Publications of the Newton Institute
Andrew D Gordon
A 1998 collection of original articles about developments in operational semantics for higher order programming languages by some of the leading researchers in the field. It surveys and introduces various techniques and treats a variety of higher order languages, based on functions, processes and objects, with and without side effects, typed and untyped.
400 pages, Illustrations
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | January 22, 1998 |
| ISBN13 | 9780521631686 |
| Publishers | Cambridge University Press |
| Pages | 400 |
| Dimensions | 157 × 236 × 25 mm · 707 g (Weight (estimated)) |
| Language | English |
| Editor | Gordon, Andrew D. (University of Cambridge) |
| Editor | Pitts, Andrew M. (University of Cambridge) |