2013-11-13: Guillaume Allais (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Guillaume Allais (MSP)

Continuation Passing Style

Abstract

I chose to go through (parts of) Hatcliff and Danvy's paper "A Generic Account of Continuation-Passing Styles" (POPL 94) which gives a nice factorization of various CPS transforms in terms of:

embeddings from STLC to Moggi's computational meta-language (either call-by-value, call-by-name, or whatever you can come up with)

followed by a generic CPS transform transporting terms from ML back to STLC

Here is an Agda file containing what we had the time to see.

2013-11-13 11:00:00 UTC
LT1310