ICFP 2018

Here you will find a technical appendix for my ICFP 2018 submission "Handling Delimited Continuations with Dependent Types". The appendix contains elided proofs, a complete specification of the target language of the CPS translation, as well as a detailed discussion of how to support multi-arity inductive datatypes.