The latest and longest-yet episode of the graphic novel Lovelace and Babbage—Lovelace and Babbage vs. the Organist—at 2D Goggles has come to a close. If you haven’t seen it before, check it out! I highly recommend it.
I’m happy to announce the final versions of two ESOP 2011 papers. Polymorphic Contracts was work done with João Belo, Atsushi Igarashi, and my advisor, Benjamin Pierce. Measure Transformer Semantics for Bayesian Machine Learning was work done at my internship at MSR Cambridge this summer; the real heroes of this story are Johannes Borgström, Andy Gordon, James Margetson, and Jurgen Van Gael.
See you in Saarbrücken?