Semantics column

Abstract

After an extended hiatus, the Semantics column is returning with this issue of the Newsletter. The subject of this quarter's column is Call-By-Push-Value , written by Paul B. Levy. CBPV is Paul's invention, and it's an interesting and powerful calculus that incorporates both the Call-By-Value and Call-By-Name calculi. Moreover, it's also simpler to describe, as Paul's column demonstrates. After a short introduction to set the stage, and an outline of relevant components of the pure functional programming -- i.e., the simply-typed lambda calculus, Paul describes CBPV and how it incorporates a wide range of computational effects. He then indicates how CBN and CBV each can be translated into CBPV.