[Haskell-cafe] Type checking with Haskell

[Stefan Holdermans]

Joel,

> How do you implement type checking in haskell?

You might want to check out "Typing Haskell in Haskell" [1] by Mark  
P. Jones.

Cheers,

   Stefan

[1] Jones, Mark P. Typing Haskell in Haskell. In Erik Meijer, editor,  
Proceedings of the 1999 Haskell Workshop, Friday October 9th, 1999,  
Paris, France. 1999. The proceedings of
the workshop have been published as a technical report (UU- 
CS-1999-28) at Utrecht University. http://www.cs.uu.nl/research/ 
techreps/UU-CS-1999-28.html