![](https://www.pdfsearch.io/img/4c18e7ad4d04027f030961174a268aed.jpg) 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. PierceAdd to Reading ListSource URL: events.inf.ed.ac.ukDownload Document from Source Website File Size: 2,05 MBShare Document on Facebook
|