Wednesday
29th January
2014

POPL Slides

I gave two talks at POPL 2014, back to back. This was pretty frightening beforehand, but seemed to go alright.

Here are the slides:

From Parametricity to Conservation Laws, via Noether's Theorem

A Relationally Parametric Model of Dependent Type Theory