New Search

Export article

Call-by-push-value

Paul Blain Levy

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.
Keywords: push value / typed / CBPV / favourite / inviting / expound / Mike / introduction

Scifeed alert for new publications

Never miss any articles matching your research from any publisher
  • Get alerts for new papers matching your research
  • Find out the new papers from selected authors
  • Updated daily for 49'000+ journals and 6000+ publishers
  • Define your Scifeed now

Share this article

Click here to see the statistics on "ACM SIGLOG News" .
References (10)
    Back to Top Top