Dependent Haskell Type level programming - YuMingLiao/haskell_code GitHub Wiki
"The type level features we have seen allow us to express the pre- and post-conditions of functions. By expressing these constraints in the type system, the compiler statically verifies that the produced code operates as required, without the need for run-time checks"
- Programming in the Haskell Type System
- Type-Level Instant Insanity
- Haskell Programming: Attractive Types
- Basic Type Level Programming in Haskell
- A Diagram for types, promoted types & singletons
- Type-level functions using closed type families
- type-level-programming.md
- type-level: Type-level programming library
- functional dependencies
- dependent-types-in-haskell
- Type-level functions using closed type families
Papers:
programming-in-the-haskell-type-system