[TYPES] Semantics of Intersection Types

[Adriana Compagnoni]

> I am resending this message that was accidentally blocked by the types 
> mailing list.
>
> Adriana
>
> ------------------------------------------------------------------------
>
> Subject:
> Re: [TYPES] Semantics of Intersection Type
> From:
> Adriana Compagnoni <abc at cs.stevens.edu>
> Date:
> Mon, 28 Nov 2005 22:06:28 -0500
> To:
> Hongseok Yang <hyang at ropas.kaist.ac.kr>, types at cis.upenn.edu
>
> To:
> Hongseok Yang <hyang at ropas.kaist.ac.kr>, types at cis.upenn.edu
>
>
>
> In chapter 5 of my PhD thesis you can find a PER model for an 
> extension of F-omega with intersection types.
>
> http://www.cs.stevens.edu/~abc/publications-kind.html
>
> The work is based on earlier joint work with Benjamin Pierce.
>
> Adriana Compagnoni and Benjamin Pierce. Higher Order Intersection 
> Types and Multiple Inheritance. Mathematical Structures in Computer 
> Science, October, 1996, volume 6, pp 469-501.
>
>
> Adriana
>
>
>
> Subject:
> [TYPES] Semantics of Intersection Type
> From:
> Hongseok Yang <hyang at ropas.kaist.ac.kr>
> Date:
> Mon, 28 Nov 2005 17:52:02 +0900 (KST)
>
> To:
> types at cis.upenn.edu
>
>
> [The Types Forum, 
> http://lists.seas.upenn.edu/mailman/listinfo/types-list]
>
>
> Hi,
>
> Would anyone point out the literature on the semantics of intersection 
> types?
> Thanks in advance for the answers.
>
> Sincerely,
> Hongseok
>
>
>
>
>
>