Posts tagged "lifting" Typed type-level programming: status report - December 3, 2010 Typed type-level programming in Haskell, part IV: collapsing types and kinds - August 5, 2010
