Normalization by Evaluation

May 5, 2024

Why we want to normalize things and who are all these codes



Logical Relations

May 5, 2024

How to give those type systems some normal meaning



Guarded Interaction Trees

May 5, 2024

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



GADTs

May 5, 2024

Discussing models of GADTs and why it's hard to relate shapes and gears



Compiler

May 5, 2024

Compiling GADTs and continuations



Template

November 27, 2023

Template so i don't forget all the extended markdown environments