BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Call-by-push-value (part 1) - Paul Levy\, University of Birmingham
  (visiting Cambridge until March 15)
DTSTART:20090203T161500Z
DTEND:20090203T170000Z
UID:TALK16800@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:Call-by-push-value is a calculus for computational effects tha
 t provides\nfine-grain primitives into which both call-by-value and call-b
 y-name\ncalculi can be decomposed. This decomposition appears in a wide va
 riety of\nsemantics: operational\, domains\, state\, continuations\, games
 \, possible\nworlds\, etc.\n\nWe first look at semantics of call-by-value 
 and call-by-name\, using\nalgebras for a monad\, and see how that leads us
  to call-by-push-value.\n\nWe then look at two examples of call-by-push-va
 lue semantics that do not\nuse algebras: state (global ground) and continu
 ations.\n\n
LOCATION:Room FW26\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR