14 Aug
2006
14 Aug
'06
10:47 a.m.
I had a feeling this was discussed in "Typing Haskell in Haskell" by Mark Jones, but after a quick skim I can't find it again (I thought it would be in Section 11.6 of his paper).
It is, on page 35 (section 11.6.3) of "Typing Haskell in Haskell" by Mark Jones.
Now you got me hooked. Where can I find his paper? The link in the Haskell-wiki[1] seems to be dead... Thanks, Tim [1] http://www.haskell.org/haskellwiki/Research_papers/Type_systems