2010-02-12

Type theory comes of age

The current issue of the CACM has an article, Type theory comes of age. Not only is my advisor prominently depicted, but they also mention my area of research!

Thanks to Nate Foster for pointing this out to me.

* Filed by Michael Greenberg on 2010-02-12 at 10:18am under Blog
* 1 Comment

a weasel in a hat

One Response to “Type theory comes of age”

  1. Anonymous Grad Student
    February 12th, 2010 | 7:11pm

    Soon, we will purge filthy, latently typed languages from the face of the Earth.

Leave a reply

Please submit only once. Comments are moderated and will not appear immediately.