u/imalsogregin r/haskell • Recommends
Video Cody Roux - Pure Type Systems - Boston Haskell Meetup
0:00 / 0:00
#puretypesystems#typetheory#haskell
Cody Roux - Pure Type Systems
Boston Haskell
1.1K subscribers • 18 videos on Hallway
- Recommended by 2 people: 1 in engineering communities and 1 curated list.
- Presented by Cody Roux
- Linked in the descriptionSlides on SlideShare
Advanced. Deep dive for people who know the field.
2K views11 years ago2 recommendations
Programming languagesComputer scienceLanguage design and type systemsComputation and complexity
Cody Roux explains the theory and structure of Pure Type Systems, a framework for describing a wide variety of typed lambda calculi.
Cody Roux's talk for the Boston Haskell Meetup - February 18, 2015 Slides: slideshare.net/imalsogreg/cody-roux-pure-type-systems-boston…Why it's here
2 people recommend thisprogramming-talkscurated list on GitHubRecommends
Under “Haskell”
Pure Type Systems 01:17:01 by **Cody Roux** (2015)