Guarded Interaction Trees
May 5, 2024How to stop worrying and start reasoning about call/cc directly
Compiler
May 5, 2024Compiling GADTs and continuations
How to stop worrying and start reasoning about call/cc directly
Compiling GADTs and continuations