Advanced Topics in Programming Languages Series:...

Channel:

Google TechTalks

Subscribers:

348,000

Published on October 9, 2007 2:29:37 AM ● Video Link: https://www.youtube.com/watch?v=h0OkptwfX4g

Duration: 30:41

35,491 views

176

Google Tech Talks
April 18, 2007

ABSTRACT

Advanced Topics in Programming Languages Series: Parametric Polymorphism and the Girard-Reynolds Isomorphism. This talk is based on a series of papers by Philip Wadler, a principal designer of the Haskell programming language. Featured are a number of double-barreled names in computer science:

* Hindley-Milner (Strong typing without having to type the types)
* Wadler-Blott (Making ad-hoc polymorphism less ad-hoc with parametricity)
* Curry-Howard (Isomorphism between types and theorems, terms and proofs)
* Girard-Reynolds (Isomorphism between types and terms in the presence of parametricity)

The talk will conclude with a programming technique...