Advanced Topics in Programming Languages Series:...
Uploaded by: googletechtalks
Video 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...
Tags for this video: advanced google howto programming topics
Find more videos in the "Howto" category
See more videos uploaded by googletechtalks
| Advanced Topics In Programming Languages: Closures For Java | Advanced Topics in Programming Languages Series: C++ Threads | Advanced Topics in Programming Languages: The Java Memory... |
 |  |  |
| Advanced Topics in Programming Languages: A Lock-Free... | Advanced Topics in Programming Languages Series:... | Advanced Topics in Programming Languages Series: Python... |
 |  |  |
Share This Video:
Comments for this video: Show || Hide
| Comments for this video on YouTube |
| ( 3 decades ago by ) |
| ( 3 decades ago by ) |
| ( 3 decades ago by ) |
| ( 3 decades ago by ) |
| ( 3 decades ago by ) |
| ( 3 decades ago by ) |
| ( 3 decades ago by ) |
| ( 3 decades ago by ) |
| ( 3 decades ago by ) |
| ( 3 decades ago by ) |
Tell a friend: