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.
Filed by Michael Greenberg on 2011-01-19 at 2:33pm under Blog
No Comments
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?
Filed by Michael Greenberg on 2011-01-04 at 10:30am under Papers,Programming Languages
No Comments