University of Cambridge > Talks.cam > Logic & Semantics for Dummies > Call-by-push-value

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Call-by-push-value

Download to your calendar using vCal

If you have a question about this talk, please contact Nathanael Arkor .

The call-by-push-value calculus (CBPV) was introduced by Levy as a way of combining call-by-value and call-by-name in a single language. Since then it has also turned out to be useful for reasoning about languages with side-effects, especially because it makes evaluation order explicit. This talk will be an introduction to CBPV , including its type system, operational semantics, and how it captures call-by-value and call-by-name. I’ll also talk about models of CBPV with various effects.

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

in person & via zoom Centre for Physical Biology talks DMB GS5, Faculty of Education, Hills Road, Cambridge CB2 8PH

Other talks

Title to be confirmed Optimal metric and approximation of free boundary minimal surfaces Tea and Coffee Break Group Presentation 3 Title to be confirmed Task performance predicts the substitution of feedforward by feedback drive in visual cortex
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity