0:00 / 0:00
#parametricpolymorphism#girard-reynoldsisomorphism#curry-howardisomorphism
Advanced Topics in Programming Languages Series:...
Google TechTalks
349K subscribers • 62 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
Advanced. Deep dive for people who know the field.
36K views19 years ago1 recommendation
Programming languagesComputer scienceLanguage design and type systemsComputation and complexityFunctional programming
An introduction to type theory concepts including Hindley-Milner, Curry-Howard, and the Girard-Reynolds isomorphism between types and terms.
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...Why it's here
1 person recommends thisWhat people say. Recommended as an introduction to type theory and the history of programming language design.
u/dstruthersin r/haskell • Mentions
On “Where is the demo video for haskell djinn?”
Not sure if it is what you're thinking of, but there is an old Google Tech Talk that gets into djinn near the end.
link to this video