BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:On the Operational Theory of the CPS-Calculus - Paulo Torrens (Uni
 versity of Kent) 
DTSTART:20241025T130000Z
DTEND:20241025T140000Z
UID:TALK223522@talks.cam.ac.uk
CONTACT:Ariadne Si Suo
DESCRIPTION:The continuation-passing style translation often employed by c
 ompilers gives rise to a class of intermediate representation languages wh
 ere functions are not allowed to return anymore. Though their primary use 
 is to expose details about a program’s control flow\, they may be equipp
 ed with an equational theory in order to be seen as specialized calculi. I
 n this talk\, we explore Thielecke’s CPS-calculus\, a small theory of co
 ntinuations inspired by compiler implementations\, and present ongoing wor
 k on its metatheory\, aiming to improve the development of formally checke
 d compilers and type-directed optimization.
LOCATION:TBC\, Computer Laboratory
END:VEVENT
END:VCALENDAR