rank-n polymorphism

Ronny Wichers Schreur ronny@cs.kun.nl
Fri, 08 Mar 2002 10:49:10 +0100

Artem Alimarine asks:

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

"Putting Type Annotations To Work", Martin Odersky and Konstantin Läufer.
In Proceedings, 23rd ACM Symposium on Principles of Programming Languages,
St. Petersburg, Florida, January 1996. 

Available from <http://lampwww.epfl.ch/~odersky/papers/>.


Ronny Wichers Schreur