[Haskell-cafe] Type checking with Haskell

Joel Reymont joelr1 at gmail.com
Thu Apr 12 08:15:22 EDT 2007


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/







More information about the Haskell-Cafe mailing list