ETE 2012 – Dr. Benjamin Pierce – Types a la Milner
Podcast: Play in new window | Download (Duration: 1:00:59 — 232.1MB) | Embed
From the abstract: Robin Milner (1934-2010) was a gentle giant of computer science. Among many fundamental contributions, his insights on the role of types in the theory and practice of programming have been perhaps the farthest reaching. This talk combines a historical perspective on Milner’s early work with a look at how these ideas continue … Read More