Cover Image

Call-By-Push-Value : A Functional/Imperative Synthesis /

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 semantic...

Full description

Bibliographic Details
Main Author:	Levy, Paul Blain
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2003.
Series:	Semantic structures in computation ; 2.
Subjects:	Computer science. Algebra. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Applications of Computer Algebra /
by: Pavelle, Richard
Published: (1985)

Ordered Sets : Proceedings of the NATO Advanced Study Institute held at Banff, Canada, August 28 to September 12, 1981 /
by: Rival, Ivan
Published: (1982)

Mathematical Morphology and its Applications to Image and Signal Processing /
by: Maragos, Petros
Published: (1996)

Information Algebras : Generic Structures For Inference /
by: Kohlas, Jürg
Published: (2003)

Sequences and their Applications : Proceedings of SETA '98 /
by: Ding, C.
Published: (1999)

Process Algebra with Timing /
by: Baeten, J. C. M.
Published: (2002)

Introduction to Process Algebra /
by: Fokkink, Wan
Published: (2000)

Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics /
by: Ehrig, Hartmut
Published: (1985)

Fundamentals of Algebraic Specification 2 : Module Specifications and Constraints /
by: Ehrig, Hartmut
Published: (1990)

Effective Polynomial Computation /
by: Zippel, Richard
Published: (1993)

Universal Algebra for Computer Scientists /
by: Wechler, Wolfgang
Published: (1992)

Finiteness and Regularity in Semigroups and Formal Languages /
by: Luca, Aldo
Published: (1999)

Petri Net Algebra /
by: Best, Eike
Published: (2001)

Algorithmic Methods in Non-Commutative Algebra : Applications to Quantum Groups /
by: Bueso, José
Published: (2003)

Computers and Mathematics /
by: Kaltofen, Erich
Published: (1989)

Sensation and Measurement : Papers in Honor of S.S. Stevens /
by: Moskowitz, Howard R.
Published: (1974)

Handbook of truly concurrent process algebra /
by: Wang, Yong
Published: (2024)

Practical Algebra : a Self-Teaching Guide.
by: Wong, Bobson, 1971-
Published: (2022)

Algebra II : Chapters 4-7 /
by: Bourbaki, Nicolas
Published: (2003)

Algebras and applications.

Algebra I : basic notions of algebra /
Published: (1990)

Undergraduate algebra /
by: Lang, Serge
Published: (1990)

Algorithms and Order /
by: Rival, Ivan
Published: (1988)

Proceedings of the third international algebra conference : June 16-July 1, 2002, Chang Jung Christian University, Tainan, Taiwan /
Published: (2003)

Algebra 2 tutor.
Published: (2010)

Algebra 2 tutor.
Published: (2010)

Pre-algebra tutor.
Published: (2010)

Advanced algebra tutor.
Published: (2011)

Algebra 2 tutor.
Published: (2010)

Algebra 2 tutor.
Published: (2010)

Invariant Methods in Discrete and Computational Geometry : Proceedings of the Curaçao Conference, 13-17 June, 1994 /
by: White, Neil L.
Published: (1995)

Algebra I All-in-One For Dummies /
by: Sterling, Mary Jane
Published: (2021)

The concise handbook of algebra /
Published: (2002)

Handbook of Algebra.
by: Lemm, Jeffrey M.
Published: (2000)

Advances in the Design of Symbolic Computation Systems /
by: Miola, Alfonso
Published: (1997)

Polynomial Algorithms in Computer Algebra /
by: Winkler, Franz
Published: (1996)

Shen ru qian chu dai shu /
by: Pilone, Tracey, et al.
Published: (2011)

Finite Fields for Computer Scientists and Engineers /
by: McEliece, Robert J.
Published: (1987)

Graphs and Order : the Role of Graphs in the Theory of Ordered Sets and Its Applications /
by: Rival, Ivan
Published: (1985)

A Singular Introduction to Commutative Algebra /
by: Greuel, G.-M. (Gert-Martin)
Published: (2002)