Advanced Topics in Programming Languages Series: Parametric Polymorphism
30:38
-
2 years ago
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 GossettGoogle Tech Talks
April 18, 2007
ABSTRACT
Advanced Topics in Programming Languages Series: Parametric Polymorphism and the Girard-Rey...all »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«
Download is starting. Save file to your computer. If the download does not start automatically, right-click this link and choose "Save As". How to get videos onto the iPod or PSP.
