Monday, July 21, 2003 [Tweets] [Favorites]

Types: The Next Generation

Benjamin Pierce has written some slides about developments in type theory. He includes lots of references and timelines, and notes that research is being transferred to industry faster than before.

Comments

Stay up-to-date by subscribing to the Comments RSS Feed for this post.

Leave a Comment