Alex Wright
Writing
Speaking
Projects
About
Contact
Type Theory Comes of Age
Communications of the ACM (Jan 2010)
January 9, 2010
