Type Theory Comes of Age

By Alex Wright
August 2, 2017

Published by Communications of the ACM (Jan 2010)

Date: 01/09/2010