Higher Order Operational Techniques in Semantics
Cambridge University Press, 1998
142,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9780521631686
- ISBN-10
- 0521631688
- Publisher
- Cambridge University Press
- Year
- 1998
- Publication date
- 1998-01-22
- Pages
- 400
- Dimensions
- 236x157x25
- Weight
- 76