8 Mar
2002
8 Mar
'02
9:49 a.m.
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/>. Cheers, Ronny Wichers Schreur