Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 22 de enero de 1998 |
| ISBN13 | 9780521631686 |
| Editores | Cambridge University Press |
| Páginas | 400 |
| Dimensiones | 157 × 236 × 25 mm · 707 g (Peso (estimado)) |
| Lengua | Inglés |
| Editor | Gordon, Andrew D. (University of Cambridge) |
| Editor | Pitts, Andrew M. (University of Cambridge) |