From parametricity to conservation laws, via Noether's theorem.

Robert Atkey

Browse the full POPL paper archive.