“Types are the leaven of computer programming: they make it digestible.” - R. Milner Types à la Milner Benjamin C. Pierce - Benjamin Pierce - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-10-10 03:52:06		“Types are the leaven of computer programming: they make it digestible.” - R. Milner Types à la Milner Benjamin C. Pierce Add to Reading List Source URL: events.inf.ed.ac.uk Download Document from Source Website File Size: 2,05 MB Share Document on Facebook