Comments on: Type theory comes of age http://www.weaselhat.com/2010/02/12/type-theory-comes-of-age/ Sat, 13 Feb 2010 00:11:49 +0000 hourly 1 https://wordpress.org/?v=6.3.2 By: Anonymous Grad Student http://www.weaselhat.com/2010/02/12/type-theory-comes-of-age/comment-page-1/#comment-487 Sat, 13 Feb 2010 00:11:49 +0000 http://www.weaselhat.com/?p=204#comment-487 Soon, we will purge filthy, latently typed languages from the face of the Earth.

]]>