u/phadejin r/haskell • Recommends
The Influence of Dependent Types - Stephanie Weirich
0:00 / 0:00
#dependenttypes#haskell#typesystems
The Influence of Dependent Types -- Stephanie Weirich
POPL PARIS 2017
106 subscribers • 1 video on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Stephanie Weirich
Advanced. Deep dive for people who know the field.
2.4K views9 years ago1 recommendation
Programming languagesComputer scienceLanguage design and type systemsComputation and complexity
Stephanie Weirich discusses the history, design, and growing influence of dependent type systems in programming languages.
The Influence of Dependent Types -- Stephanie WeirichWhy it's here
1 person recommends thisWhat people say. Recommended as an excellent overview of dependent types and their impact on language design.