rank-n polymorphism

[Simon Peyton-Jones]

This is a multi-part message in MIME format.

------_=_NextPart_001_01C1C69E.767EA3BC
Content-Type: text/plain;
	charset="US-ASCII"
Content-Transfer-Encoding: quoted-printable

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]=20
| Sent: 07 March 2002 16:27
| To: haskell@haskell.org
| Subject: rank-n polymorphism
|=20
|=20
| Dear all,
|=20
| GHC 5.0.3 supports  rank-n polymorphism.
| Could anyone please point me to a paper that describes type=20
| inference algorithm used.
|=20
| Thanks in advance
| Artem Alimarine
|=20
| _______________________________________________
| Haskell mailing list
| Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
|=20

------_=_NextPart_001_01C1C69E.767EA3BC
Content-Type: application/ms-tnef;
	name="winmail.dat"
Content-Transfer-Encoding: base64

eJ8+IiwMAQaQCAAEAAAAAAABAAEAAQeQBgAIAAAA5AQAAAAAAADoAAEIgAcAGAAAAElQTS5NaWNy
b3NvZnQgTWFpbC5Ob3RlADEIAQ2ABAACAAAAAgACAAEEgAEAGAAAAFJFOiByYW5rLW4gcG9seW1v
cnBoaXNtAIsIAQWAAwAOAAAA0gcDAAgABAAoACsABQBAAQEggAMADgAAANIHAwAIAAQAKAArAAUA
QAEBCYABACEAAAA5M0MwREI3NUFFNjEzOTRCODE1NEQ0Qjc3NTM0RDRBOAAnBwEDkAYAEAgAADMA
AAALAAIAAQAAAAMAJgAAAAAAAwAuAAAAAAADADYAAAAAAEAAOQC8o352nsbBAR4APQABAAAABQAA
AFJFOiAAAAAAAgFHAAEAAAAyAAAAYz1VUzthPU1DSTtwPW1zZnQ7bD1SRUQtTVNHLTEwLTAyMDMw
ODEyNDA0M1otNzYyNQAAAB4AcAABAAAAFAAAAHJhbmstbiBwb2x5bW9ycGhpc20AAgFxAAEAAAAb
AAAAAcHF9NEdYPgncoQKT0OGj10Tp+eXIgACiozAAB4AGgwBAAAAEwAAAFNpbW9uIFBleXRvbi1K
b25lcwAAHgAdDgEAAAAUAAAAcmFuay1uIHBvbHltb3JwaGlzbQACAQkQAQAAAH8CAAB7AgAADAQA
AExaRnWdSqbVAwAKAHJjcGcxMjXiMgNDdGV4BUEBAwH3/wqAAqQD5AcTAoAP8wBQBFY/CFUHshEl
DlEDAQIAY2jhCsBzZXQyBgAGwxEl9jMERhO3MBIsETMI7wn3tjsYHw4wNREiDGBjAFDzCwkBZDM2
FlALpgXQCsDKawYAaAiQbGQEIABwmGQgSR2wGCAgdwUQqnQLgGcdsCAKsHAEkOAuICBUaB5ADrAT
0J0DAGMHQAqiCoBiYQCQxwQgIOIDoCJQdQJAHqLMdHkfIB2xbm8BkB6QMwIgBCB0bx5QBbBrIgQg
TwSBc2t5L0woYXVmBJAsIFRQT8BQTCc5Ni4gVCBUjlMHcAIgJXp8IC0nYnpPBRBnC4AHQAXQB5Bz
WGFnZSdjJuZGA2E62xDBDrBtBgAQwGwHcArAuwuAHkBbAMADECMQOgdAASqEQGNzLmt1bvAubmxd
CuMnIgZgAjBZKcAwNxziE9AgAdAwQRRAMTY6Mjcm5lSdK2AgE+Aj4B1wbEAvlYouBbBnLMd1YmoF
kKUtcXIAcGstA6BwBvDLBsAFsHAdUHNtJuYzDmxEZQrBB0BsJIUzaEcASEMgNS4wLjPwIHN1cDJA
ACAEIDHPvzLRJWUnQAhRHYAdsXkCIP8eQAtQNJAUEDIxC4AFQAeAfyMCHuUfsBPgBUABAATyYr8H
kSIDJuYLgCRRCfBjIjGsbGcFsB6AaCogdRQQPmQ4hy7XE+A3cCEjYWR+dgBwPcAm5inkKmczDl/v
Q29Ef0VKJuZIL6Q6oCsh8x6iKnBzdEZdMAovgAJAoHA6Ly93SkAuMBk2LysSA4EvR9I9UW8vCy+V
Mwx9TbAAHgA1EAEAAABPAAAAPDExMTNEREIyNEQ0QTI4NDE5NTFCRkRGODY2NjVFRTE5Mzc0QTRD
QFJFRC1NU0ctMTAucmVkbW9uZC5jb3JwLm1pY3Jvc29mdC5jb20+AAAeAEIQAQAAAB4AAAA8M0M4
Nzk0RDMuNUQ3MTNEMjNAY3Mua3VuLm5sPgAAAAMAgBD/////AwCSEAEAAAAfAPMQAQAAADwAAABS
AEUAJQAzAEEAIAByAGEAbgBrAC0AbgAgAHAAbwBsAHkAbQBvAHIAcABoAGkAcwBtAC4ARQBNAEwA
AAALAPYQAAAAAEAABzDYB2J2nsbBAUAACDBiaIN2nsbBAQMA3j+fTgAAAwDxPwkEAAAeAPg/AQAA
ABMAAABTaW1vbiBQZXl0b24tSm9uZXMAAAIB+T8BAAAAUQAAAAAAAADcp0DIwEIQGrS5CAArL+GC
AQAAAAAAAAAvTz1NSUNST1NPRlQvT1U9Tk9SVEhBTUVSSUNBL0NOPVJFQ0lQSUVOVFMvQ049NDI4
NTkyAAAAAB4A+j8BAAAAFQAAAFN5c3RlbSBBZG1pbmlzdHJhdG9yAAAAAAIB+z8BAAAAHgAAAAAA
AADcp0DIwEIQGrS5CAArL+GCAQAAAAAAAAAuAAAAAwD9P+QEAAADABlAAAAAAAMAGkAAAAAAHgAw
QAEAAAAHAAAANDI4NTkyAAAeADFAAQAAAAcAAAA0Mjg1OTIAAB4AOEABAAAABwAAADQyODU5MgAA
HgA5QAEAAAACAAAALgAAAAMACVkBAAAACwBYgQggBgAAAAAAwAAAAAAAAEYAAAAADoUAAAAAAAAD
AHCBCCAGAAAAAADAAAAAAAAARgAAAABShQAAEpIBAB4AcYEIIAYAAAAAAMAAAAAAAABGAAAAAFSF
AAABAAAABQAAADEwLjAAAAAAAwC4gQggBgAAAAAAwAAAAAAAAEYAAAAAAYUAAAAAAAALAL2BCCAG
AAAAAADAAAAAAAAARgAAAAADhQAAAAAAAAMAx4EIIAYAAAAAAMAAAAAAAABGAAAAABCFAAAAAAAA
AwDOgQggBgAAAAAAwAAAAAAAAEYAAAAAGIUAAAAAAAALAOOBCCAGAAAAAADAAAAAAAAARgAAAAAG
hQAAAAAAAAsA5IEIIAYAAAAAAMAAAAAAAABGAAAAAIKFAAAAAAAACwApAAAAAAALACMAAAAAAAMA
BhAAH1CPAwAHENEBAAADABAQAAAAAAMAERABAAAAHgAIEAEAAABlAAAATUFSS1NISUVMRFNBTkRJ
QVJFV1JJVElOR0FQQVBFUlRIRVRFQ0hOSUNBTEJBU0lTSVNJTiJQVVRUSU5HVFlQRUFOTk9UQVRJ
T05TVE9XT1JLIk9ERVJTS1kvTEFVRkVSLFBPUAAAAAACAX8AAQAAAE8AAAA8MTExM0REQjI0RDRB
Mjg0MTk1MUJGREY4NjY2NUVFMTkzNzRBNENAUkVELU1TRy0xMC5yZWRtb25kLmNvcnAubWljcm9z
b2Z0LmNvbT4AAPPI

------_=_NextPart_001_01C1C69E.767EA3BC--