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
