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.
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.
Soon, we will purge filthy, latently typed languages from the face of the Earth.