Videosearch of
Philippe Girard
Advanced Topics in Programming Languages Series:... |
Views : 0 Comments : 0
|
|
Share this video:
Comments
No comments have been posted for this video
Login or Signup to post a comment |
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 ... |
Lists
Reviews
Images
Forums
Movies
TV Shows
DVDs
Music
Books
Games
