Blog: Dependent Types

Functional Futures: Dependent Types with David ChristiansenFunctional Futures: Dependent Types with David Christiansen
dependent haskell post thumbnaildependent haskell post thumbnail
Dimensions and Haskell: Singletons in ActionDimensions and Haskell: Singletons in Action
Dimensions and Haskell: IntroductionDimensions and Haskell: Introduction
Haskell logoHaskell logo