Guarded Interaction Trees

May 5, 2024

How to stop worrying and start reasoning about call/cc directly

Compiler

May 5, 2024

Compiling GADTs and continuations