[Haskell-cafe] Can someone explain this typing restriction?
Gerrit van den Geest
G.vandenGeest at students.uu.nl
Mon Aug 14 10:52:16 EDT 2006
Tim Walkenhorst wrote:
>>> 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 seems to be dead...
I don't know, I've encountered the same problems. Fortunately I have a
printed version on my desk.
More information about the Haskell-Cafe