Spara
Call-By-Push-Value
Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value structure underlying a remarkable range of semantics, including operational semantics, domains, possible worlds, continuations and games.
- Undertitel
- A Functional/Imperative Synthesis
- Författare
- P.B. Levy
- ISBN
- 9789400709546
- Språk
- Engelska
- Utgivningsdatum
- 2012-12-06
- Förlag
- SPRINGER NETHERLANDS
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
