Monday, July 21, 2003

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 RSS · Twitter

Leave a Comment