[TYPES] Semantics of Intersection Type

[Kenneth Louden]

In addition to the work by Pierce there is also work by John Reynolds,
including the programming language Forsythe, which I believe contains
a general intersection type constructor.

-- Kenneth Louden

Arend Rensink wrote:

> [The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]
> 
> 
>>Would anyone point out the literature on the semantics of
>>intersection types?
> 
> 
> In addition to Steffen's references, what about Benjamin Pierce's work in intersection types? --Arend
> 
> 

-- 
Prof. Kenneth Louden
Dept. of Computer Science
San Jose State University
San Jose, CA 95192-0249
http://www.cs.sjsu.edu/faculty/louden/
louden at cs.sjsu.edu
(408) 924-5134