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.
