1. 17

These are the slides to a thesis defense. The thesis itself is at https://www.williamjbowman.com/resources/wjb-dissertation.pdf

This thesis deals with issues compiling languages with dependent types, namely continuation passing style and closure conversion.