2024-03-08: Paulo Torrens (University of Kent)

Thu, 7 Mar 2024 11:14:34 +0000

Paulo Torrens (University of Kent)

TBD

Abstract

The continuation-passing style (CPS) translation employed within compilers gives rise to a class of target calculi where direct style functions don't exist anymore. While those may be studied using the lambda calculus, this might not be desired if the language should not be closed under beta-reduction, such as in the intermediate representation (IR) of Appel's compiler. The purpose of this talk is to introduce ongoing work on the metatheory of Thielecke's CPS-calculus, a small theory of continuations based on production IRs, how it relates to actual implementations, and how this allows us to have a strong theoretical background on the study of name-passing IRs in a similar way that the lambda calculus works as a theoretical foundation for functional programming.

2024-03-08 15:00:00 UTC
LT209 and Online