Advanced Topics in Programming Languages Series:... October 9, 2007

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

Quote coming soon

- -

An emoticon () is a pictorial representation of a facial expression using punctuation marks and letters, usually written to express a person's mood. Emoticons are often used to alert a responder to the tenor or temper of a statement, and...

More from Wikipedia »

Tags:

Top 10 categories

1. 1.Movies
2. 2.Comedians
3. 3.Athletes & Coaches
4. 4.U.S. Presidents
5. 5.Entrepreneurs
6. 6.Musicians
7. 7.Scientists
8. 8.Religious Leaders
9. 9.Historical Figures
10. 10.Explorers