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/
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe