rank-n polymorphism

Artem S Alimarine alimarin@cs.kun.nl
Thu, 07 Mar 2002 17:26:59 +0100

Previous message: new version of Parser Combinators and Syntax Macros's (beta)
Next message: rank-n polymorphism
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear all,

GHC 5.0.3 supports  rank-n polymorphism.
Could anyone please point me to a paper that describes type inference
algorithm used.

Thanks in advance
Artem Alimarine

Previous message: new version of Parser Combinators and Syntax Macros's (beta)
Next message: rank-n polymorphism
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]