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 2) - Paul Levy\, University of Birmingham
  (visiting Cambridge until March 15)
DTSTART:20090204T161500Z
DTEND:20090204T170000Z
UID:TALK16801@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\nThe slides for this tutorial are available at \n"http://www.cs.
 bham.ac.uk/~pbl/papers/cbpvefftt.pdf":http://www.cs.bham.ac.uk/~pbl/papers
 /cbpvefftt.pdf .\n
LOCATION:Room FW26\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR