On the Operational Theory of the CPS-Calculus

Add to your list(s) Download to your calendar using vCal

• Paulo Torrens (University of Kent)
• Friday 25 October 2024, 14:00-15:00
• TBC, Computer Laboratory.

If you have a question about this talk, please contact Ariadne Si Suo .

The continuation-passing style translation often employed by compilers gives rise to a class of intermediate representation languages where functions are not allowed to return anymore. Though their primary use is to expose details about a program’s control flow, they may be equipped with an equational theory in order to be seen as specialized calculi. In this talk, we explore Thielecke’s CPS -calculus, a small theory of continuations inspired by compiler implementations, and present ongoing work on its metatheory, aiming to improve the development of formally checked compilers and type-directed optimization.

This talk is part of the SANDWICH Seminar (Computer Laboratory) series.

This talk is included in these lists:

• TBC, Computer Laboratory

Note that ex-directory lists are not shown.