BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Call-by-push-value - Dylan McDermott
DTSTART:20191018T100000Z
DTEND:20191018T110000Z
UID:TALK133360@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:The call-by-push-value calculus (CBPV) was introduced by Levy 
 as a way\nof combining call-by-value and call-by-name in a single language
 . Since\nthen it has also turned out to be useful for reasoning about lang
 uages\nwith side-effects\, especially because it makes evaluation order\ne
 xplicit. This talk will be an introduction to CBPV\, including its type\ns
 ystem\, operational semantics\, and how it captures call-by-value and\ncal
 l-by-name. I'll also talk about models of CBPV with various effects.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR