Implementing Compositional Analysis Using Intersection Types with Expansion Variables

A J Kfoury; G Washburn; Joseph Brian Wells

Implementing Compositional Analysis Using Intersection Types with Expansion Variables

A J Kfoury
, G Washburn
, Joseph Brian Wells

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Published - Jul 2002
Event	Proc. 2nd Workshop Intersection Types & Related Systems. Electrical Notes in Theoretical Computer Science - Copenhagen, Denmark Duration: 1 Jul 2002 → …

Conference

Conference	Proc. 2nd Workshop Intersection Types & Related Systems. Electrical Notes in Theoretical Computer Science
Abbreviated title	ITRS '02
Country/Territory	Denmark
City	Copenhagen
Period	1/07/02 → …
Other	, Elsevier Science.

Cite this

@conference{8f49578ecfdd4c9f8c71a3fbc8cd7072,

title = "Implementing Compositional Analysis Using Intersection Types with Expansion Variables",

author = "Kfoury, \{A J\} and G Washburn and Wells, \{Joseph Brian\}",

year = "2002",

month = jul,

language = "English",

note = "Proc. 2nd Workshop Intersection Types \& Related Systems. Electrical Notes in Theoretical Computer Science, ITRS '02 ; Conference date: 01-07-2002",

}