ETE 2012 – Dr. Benjamin Pierce – Types a la Milner


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 to unfold — in particular, the idea that types constrain not only structure but also behavior. Examples will include abstract and object types, types for concurrent and distributed systems (session and choreography types), and new work on type systems for privacy-preserving querying of sensitive databases.