[Haskell] Higher kind type inference paper

Edsko de Vries devriese at cs.tcd.ie
Thu Dec 7 05:34:25 EST 2006

Previous message: [Haskell] Re: Network accept loop with graceful shutdown implementation
Next message: [Haskell] Higher kind type inference paper
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

Are there any papers that describe how higher kind type inference (and I
really mean higher kind, not higher rank) is done?

Thanks,

Edsko

Previous message: [Haskell] Re: Network accept loop with graceful shutdown implementation
Next message: [Haskell] Higher kind type inference paper
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Haskell mailing list