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.

1 Comment

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

Leave a Reply

Your email address will not be published. Required fields are marked *