CoRecursive: Coding Stories
Description
In todays interview Stephanie Weirich explains her efforts to make haskell have dependent types and how that example worked.
Cookie Consent: We use cookies to give you the best online experience, for analytics, performance, and to tailor the experience towards your interests.
Cookie Consent: We use cookies to give you the best online experience, for analytics, performance, and to tailor the experience towards your interests.
Skip to content
Dependent Types in Haskell with Stephanie Weirich
June 13, 2018