[Haskell-cafe] Type checking with Haskell

[Joel Reymont]

On Apr 12, 2007, at 1:07 PM, Stefan Holdermans wrote:

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

Must be _the_ paper as Don suggested it as well.

I also looked at my copy of Andrew Appel's compilers in ML book and  
realized that I should be going about it differently than I thought,  
i.e. figuring out and returning the type of an expression rather than  
matching constructors. Oh, well.

	Thanks, Joel

--
http://wagerlabs.com/