Related Books
Language: en
Pages: 381
Pages: 381
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
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
Language: en
Pages: 630
Pages: 630
Type: BOOK - Published: 2003-08-02 - Publisher: Springer
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
Language: en
Pages: 409
Pages: 409
Type: BOOK - Published: 2003-07-31 - Publisher: Springer
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
Language: en
Pages: 657
Pages: 657
Type: BOOK - Published: 2018-07-03 - Publisher: Springer
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
Language: en
Pages: 1056
Pages: 1056
Type: BOOK - Published: 2018-04-14 - Publisher: Springer
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