Call-By-Push-Value

Call-By-Push-Value
Author :
Publisher : Springer Science & Business Media
Total Pages : 381
Release :
ISBN-10 : 9789400709546
ISBN-13 : 9400709544
Rating : 4/5 (544 Downloads)

Book Synopsis Call-By-Push-Value by : P.B. Levy

Download or read book Call-By-Push-Value written by P.B. Levy and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 381 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Call-By-Push-Value Related Books

Call-By-Push-Value
Language: en
Pages: 381
Authors: P.B. Levy
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
Computer Science Logic
Language: en
Pages: 630
Authors: Julian Bradfield
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

DOWNLOAD EBOOK

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 Se
Typed Lambda Calculi and Applications
Language: en
Pages: 409
Authors: Jean-Yves Girard
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference on Typed Lambda Calculi and Applications, TLCA'99, held in L'Aquila, Italy in
Interactive Theorem Proving
Language: en
Pages: 657
Authors: Jeremy Avigad
Categories: Mathematics
Type: BOOK - Published: 2018-07-03 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. T
Programming Languages and Systems
Language: en
Pages: 1056
Authors: Amal Ahmed
Categories: Computers
Type: BOOK - Published: 2018-04-14 - Publisher: Springer

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 20