BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Logic &amp\; Semantics for Dummies
SUMMARY:Call-by-push-value - Dylan McDermott
DTSTART;TZID=Europe/London:20191018T110000
DTEND;TZID=Europe/London:20191018T120000
UID:TALK133360AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/133360
DESCRIPTION:The call-by-push-value calculus (CBPV) was introdu
 ced by Levy as a way\nof combining call-by-value a
 nd call-by-name in a single language. Since\nthen 
 it has also turned out to be useful for reasoning 
 about languages\nwith side-effects\, especially be
 cause it makes evaluation order\nexplicit. This ta
 lk will be an introduction to CBPV\, including its
  type\nsystem\, operational semantics\, and how it
  captures call-by-value and\ncall-by-name. I'll al
 so talk about models of CBPV with various effects.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
CONTACT:Nathanael Arkor
END:VEVENT
END:VCALENDAR