[TYPES] Semantics of Intersection Type

Hongseok Yang hyang at ropas.kaist.ac.kr
Mon Nov 28 03:52:02 EST 2005

Previous message: [TYPES] APLAS 2005 -- Call For Posters
Next message: [TYPES] Semantics of Intersection Type
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

Would anyone point out the literature on the semantics of 
intersection types? 

Thanks in advance for the answers.

Sincerely,
Hongseok

Previous message: [TYPES] APLAS 2005 -- Call For Posters
Next message: [TYPES] Semantics of Intersection Type
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-list mailing list