SIGLOG Semantics Column: Call-by-push-value

Paul Levy

SIGLOG Semantics Column: Call-by-push-value

Paul Levy

Computer Science

Research output: Contribution to journal › Review article

132 Downloads (Pure)

Abstract

Call-by-push-value (CBPV) is a form of typed λ-calculus that plays a fundamental role in the study of computational effects. This article is intended to be an accessible introduction. I thank Mike Mislove and SIGLOG for inviting me to expound one of my favourite subjects.

Original language	English
Pages (from-to)	7
Number of pages	29
Journal	ACM SIGLOG News
Volume	9
Issue number	2
Publication status	Published - 30 Apr 2022

Bibliographical note

Published with an introduction by Mike Mislove

ASJC Scopus subject areas

Computational Theory and Mathematics
Theoretical Computer Science
Logic

Access to Document

BlainLevyP2022CallAccepted author manuscript, 344 KBLicence: None: All rights reserved

https://siglog.org/download/32th-newsletter-april-2022/Licence: None: All rights reserved

Cite this

@article{2f0aa755b50d48649b88e245a2e9a5e4,

title = "SIGLOG Semantics Column: Call-by-push-value",

abstract = "Call-by-push-value (CBPV) is a form of typed λ-calculus that plays a fundamental role in the study of computational effects. This article is intended to be an accessible introduction. I thank Mike Mislove and SIGLOG for inviting me to expound one of my favourite subjects.",

author = "Paul Levy",

note = "Published with an introduction by Mike Mislove",

year = "2022",

month = apr,

day = "30",

language = "English",

volume = "9",

pages = "7",

journal = "ACM SIGLOG News",

issn = "2372-3491",

publisher = "Association for Computing Machinery ",

number = "2",

}

TY - JOUR

T1 - SIGLOG Semantics Column: Call-by-push-value

AU - Levy, Paul

N1 - Published with an introduction by Mike Mislove

PY - 2022/4/30

Y1 - 2022/4/30

N2 - Call-by-push-value (CBPV) is a form of typed λ-calculus that plays a fundamental role in the study of computational effects. This article is intended to be an accessible introduction. I thank Mike Mislove and SIGLOG for inviting me to expound one of my favourite subjects.

AB - Call-by-push-value (CBPV) is a form of typed λ-calculus that plays a fundamental role in the study of computational effects. This article is intended to be an accessible introduction. I thank Mike Mislove and SIGLOG for inviting me to expound one of my favourite subjects.

M3 - Review article

SN - 2372-3491

VL - 9

SP - 7

JO - ACM SIGLOG News

JF - ACM SIGLOG News

IS - 2

ER -

SIGLOG Semantics Column: Call-by-push-value

Abstract

Bibliographical note

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this