Alta reperibilità
Higher Order Operational Techniques in Semantics
- Editore:
Cambridge University Press
- EAN:
9780521631686
- ISBN:
0521631688
- Pagine:
- 400
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Higher Order Operational Techniques in Semantics
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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti