With the ICFP deadline out of the way, I've finally put up a new version of my academic website, now hosted at EPFL: http://lamp.epfl.ch/~washburn/.

This website includes a link to a draft of my ICFP submission, "InforML: Scrapping your boilerplate with integrity", the previously mentioned draft version of "Generalizing parametricity using information-flow" submitted to LMCS, and a version of Principia Narcissus with the front and back cover included as part of the PDF (for those that would like that sort of thing).

I am a bit worried that my ICFP submission is just too dense to be comprehensible to someone who is not only well-versed in the area of type systems but also information-flow. I will see I guess.