8 Mar
2002
8 Mar
'02
12:40 p.m.
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:alimarin@cs.kun.nl] | Sent: 07 March 2002 16:27 | To: haskell@haskell.org | 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 | Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell |