Advanced Topics in Programming Languages Series: Parametric Polymorphism

Posted in Conferences, Companies, Science, Development on May 05, 2007


Advanced Topics in Programming Languages Series: Parametric Polymorphism

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 (using the above) where the Haskell compiler (almost) writes your code for you!

Speaker: Phil Gossett

Watch Video

Tags: Techtalks, Google, Conferences, Science, Lectures, Haskell, Computer Science, Broadcasting, Development, Companies