0:00 / 0:00
A Role for Dependent Types in Haskell
ACM SIGPLAN
11K subscribers • 61 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
Advanced. Deep dive for people who know the field.
1.8K views6 years ago1 recommendation
Programming languagesFunctional programmingLanguage design and type systems
An exploration of how roles can be integrated with dependent types in Haskell to maintain type safety and performance.
The uploader added no description.Why it's here
1 person recommends thisWhat people say. Recommended as a talk on integrating dependent types and roles in Haskell.