| Others >> Discussion |
Advanced Topics in Programming Languages Series: Parametric Polymorphism
| Language : | English | Quality : | High | Has Audio : | true | Source : | Google Videos | Media : | Flash |
|
|
Advanced Topics in Programming Languages Series: Parametric Polymorphism and the ... all ยป 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! [SUGGEST A ARTICLE] |
Tags: Google EngEDU, Programming, Presentation, Advance Topics, [SUGGEST A TAG]
|