12 Apr
2007
12 Apr
'07
8:15 a.m.
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/