On Dec 13, 7:36 pm, Sean Gillespie <sgilles...@[EMAIL PROTECTED]
> wrote:
> I'm looking for resources on Polymorphic Type Systems - specifically
> Hindley-Milner and Haskell's type system - and I'm having a lot of
> trouble finding this information (especially HM).
>
> Anyone have anything?
There are lots of papers about Haskell type system extensions and
their background to be found at
http://haskell.org/haskellwiki/Research_papers/Type_systems
