Call-by-push-value
ACM SIGLOG News
,
Volume 9,
pp 7-29; https://doi.org/10.1145/3537668.3537670
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
Click here to see the statistics on "ACM SIGLOG News" .