Type-Level Programming Articles

Type-Level Programming In Haskell - GADTs

This is the second post in a series about type-level programming in Haskell

Read More ...

Type-Level Programming In Haskell - Phantom Types

This is the first post in a series about type-level programming in Haskell

Read More ...