Normalization by Evaluation
May 5, 2024Why we want to normalize things and who are all these codes
Logical Relations
May 5, 2024How to give those type systems some normal meaning
Guarded Interaction Trees
May 5, 2024How to stop worrying and start reasoning about call/cc directly
GADTs
May 5, 2024Discussing models of GADTs and why it's hard to relate shapes and gears
Compiler
May 5, 2024Compiling GADTs and continuations
Template
November 27, 2023Template so i don't forget all the extended markdown environments