[Haskell-cafe] Type checking with Haskell

Stefan Holdermans stefan at cs.uu.nl
Thu Apr 12 08:07:35 EDT 2007


> How do you implement type checking in haskell?

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



[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/ 

More information about the Haskell-Cafe mailing list