[TYPES] Isorecursive types and type abstraction

Edsko de Vries devriese at cs.tcd.ie
Fri Jan 25 06:47:42 EST 2008

Previous message: [TYPES] Isorecursive types and type abstraction
Next message: [TYPES] Isorecursive types and type abstraction
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hey,

Thanks all for your detailed answers. I will make sure to study all the
given references :)

Thanks, much appreciated!

Edsko

Previous message: [TYPES] Isorecursive types and type abstraction
Next message: [TYPES] Isorecursive types and type abstraction
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-list mailing list