[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[1] 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 mailing list