BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Retrofitting Purity with Comonads and Capabilities - Vikraman Chou
 dhury\, Indiana University / Cambridge
DTSTART:20190524T130000Z
DTEND:20190524T140000Z
UID:TALK125278@talks.cam.ac.uk
CONTACT:Victor Gomes
DESCRIPTION:We present a call-by-value effectful lambda calculus with capa
 bilities\,\nwith a comonad that filters out pure expressions. We give a ca
 tegorical\nsemantics for it and show the soundness of substitution. We giv
 e an\nequational theory for our calculus and prove soundness for it. Final
 ly\,\nwe give a translation from the pure call-by-value lambda calculus to
  our\ncalculus\, and show that it preserves the equational theory.
LOCATION:FW26
END:VEVENT
END:VCALENDAR