[Haskell-cafe] Type checking with Haskell
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"  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.
More information about the Haskell-Cafe