Richard Eisenberg on Dependent Types in Haskell Extending Haskell to support dependent types. Aug 9, 2017 ∙ Software Engineering