Typing Haskell In Haskell
TSTyping 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.
- 21 Apr 2004