rank-n polymorphism

[Andy Moran]

On Thursday 07 March 2002 08:26 am, you wrote:

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

The main paper is "Putting Type Annotations to Work" by Odersky and L"aufer:

@InProceedings{Odersky-Laufer96,
  author =       "Martin Odersky and Konstantin L{\"a}ufer",
  title =        "Putting Type Annotations to Work",
  key =          "Odersky \& Laufer",
  pages =        "54--67",
  booktitle =    "Conference Record of POPL '96: The 23rd ACM
                 SIGPLAN-SIGACT Symposium on Principles of Programming
                 Languages, St. Petersberg Beach, Florida",
  year =         "1996",
  organization = "ACM",
  address =      "New York, NY",
  month =        jan,
  annote =       "31 references.",
}

Cheers,

Andy

-- 
Andy Moran                                              Ph.  (503) 526 3472
Galois Connections Inc.                                 Fax. (503) 350 0833
3875 SW Hall Blvd.                                    http://www.galois.com
Beaverton, OR 97005                                        moran@galois.com