Typing Haskell In Haskell

Typing Haskell in Haskell describes the implementation of a Haskell type checker (inluding classes) based on monads.

You are assigned the task to repeat this implementation, starting from the type inferencer introduced in the course on the Implementation of Programming Languages.

-- DoaitseSwierstra - 21 Apr 2004