Higher Order Operational Techniques in Semantics
Inbunden, Engelska, 1998
Av Andrew D. (University of Cambridge) Gordon, Andrew M. (University of Cambridge) Pitts, Andrew D. Gordon, Andrew M. Pitts
1 899 kr
Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum1998-01-22
- Mått157 x 236 x 25 mm
- Vikt76 g
- FormatInbunden
- SpråkEngelska
- SeriePublications of the Newton Institute
- Antal sidor400
- FörlagCambridge University Press
- ISBN9780521631686