Advanced Topics in Programming Languages Series:...

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 ...