[TYPES] Semantics of Intersection Type

Kenneth Louden louden at cs.sjsu.edu
Mon Nov 28 19:57:49 EST 2005

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
louden at cs.sjsu.edu
(408) 924-5134

More information about the Types-list mailing list