Dependent Haskell Is the Future (2018)

Dimensions and Haskell: Singletons in Action

Dependent Haskell