Type Theory Comes of Age

Published by Communications of the ACM (Jan 2010)