- Dependent types in Haskell: Progress Report https://typesandkinds.wordpress.com/2016/07/24/dependent-types-in-haskell-progress-report/ 20 comments haskell
- Haskell as a gradually typed dynamic language https://typesandkinds.wordpress.com/2016/01/22/haskell-as-a-gradually-typed-dynamic-language/ 13 comments haskell
- Richard Eisenberg: What are type families? https://typesandkinds.wordpress.com/2015/09/09/what-are-type-families 22 comments haskell
- Planned change to GHC: merging types and kinds https://typesandkinds.wordpress.com/2015/08/19/planned-change-to-ghc-merging-types-and-kinds/ 118 comments haskell
- singletons v0.9: faking dependent types a little bit better http://typesandkinds.wordpress.com/2013/12/17/singletons-v0-9-released/ 15 comments haskell
- Roles: a new feature of GHC (patch GND + type families) http://typesandkinds.wordpress.com/2013/08/15/roles-a-new-feature-of-ghc/ 34 comments haskell
- Decidable Propositional Equality in Haskell http://typesandkinds.wordpress.com/2012/12/01/decidable-propositional-equality-in-haskell/ 8 comments haskell
- Ordered overlapping type family instances | Types and Kinds http://typesandkinds.wordpress.com/2012/12/22/ordered-overlapping-type-family-instances/ 52 comments haskell
- A formalization of GHC’s core language http://typesandkinds.wordpress.com/2012/12/03/a-formalization-of-ghcs-core-language/ 3 comments haskell