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.
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.
