Mark Shields and I are writing a paper. The technical basis is in "Putting type annotations to work" Odersky/Laufer, POPL'96.
Simon | -----Original Message----- | From: Artem S Alimarine [mailto:[EMAIL PROTECTED]] | Sent: 07 March 2002 16:27 | To: [EMAIL PROTECTED] | Subject: rank-n polymorphism | | | 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 | | _______________________________________________ | Haskell mailing list | [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell |
<<winmail.dat>>
