[Haskell] Higher kind type inference paper
Edsko de Vries
devriese at cs.tcd.ie
Thu Dec 7 05:34:25 EST 2006
Are there any papers that describe how higher kind type inference (and I
really mean higher kind, not higher rank) is done?
More information about the Haskell