Call-by-push-value: Decomposing call-by-value and call-by-name
type: Item
instance of: scholarly article
title: Call-by-push-value: Decomposing call-by-value and call-by-name
zbMATH Open document ID: 1112.68025
author: Paul Blain Levy
published in: Higher-Order and Symbolic Computation
publication date: 2007-01-05T00:00:00Z
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 5081995
zbMATH Keywords: Call-by-push-value
zbMATH Keywords: Computational effect
zbMATH Keywords: Monad
zbMATH Keywords: Lambda-calculus
zbMATH Keywords: Call-by-value
zbMATH Keywords: Call-by-name
MaRDI profile type: Publication
full work available at URL: s10990-006-0480-6
OpenAlex ID: W2028012052
cites work: The lambda calculus, its syntax and semantics
cites work: Q4499197
cites work: Q4261086
cites work: Thunks and the λ-calculus
cites work: Inductive, coinductive, and pointed types
cites work: A fully abstract semantics for a higher-order functional language with nondeterministic computation
cites work: Q4263872
cites work: Q4411826
cites work: Adjunction models for call-by-push-value with stacks
cites work: Q4680357
cites work: Jumbo λ-Calculus
cites work: Q4523165
cites work: Q3202991
cites work: Notions of computation and monads
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: LCF considered as a programming language
cites work: Operational reasoning for functions with local state
cites work: Control categories and duality: On the categorical semantics of the lambda-mu calculus
cites work: Classical logic, continuation semantics and abstract machines
cites work: Intensional interpretations of functionals of finite type I
cites work: Q3141916
DOI: 10.1007/S10990-006-0480-6
description: scientific article; zbMATH DE number 5081995