Advanced Topics in Programming Languages Series:... 30 Minutes 40 Seconds
Advanced Topics in Programming Languages Series:... YouTube link
Author
googletechtalks
Created
October 8, 2007
Updated
December 1, 2008
Length
30 Minutes 40 Seconds
Rating
5.00
Views
4,503
Description
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...
Related Tags
google howto advanced topics programming