This page contains links to video presentations, slides, and other media about our research. 2011 2010 Kansas Lava -- Using and Abusing GHC's Type Extensions 2009 Report on the Twelfth ICFP Programming Contest