Implementing Compositional Analysis Using Intersection Types with Expansion Variables

A J Kfoury, G Washburn, Joseph Brian Wells

Research output: Contribution to conferencePaper

Original languageEnglish
Publication statusPublished - Jul 2002
EventProc. 2nd Workshop Intersection Types & Related Systems. Electrical Notes in Theoretical Computer Science - Copenhagen, Denmark
Duration: 1 Jul 2002 → …

Conference

ConferenceProc. 2nd Workshop Intersection Types & Related Systems. Electrical Notes in Theoretical Computer Science
Abbreviated titleITRS '02
CountryDenmark
CityCopenhagen
Period1/07/02 → …
Other, Elsevier Science.

Cite this

Kfoury, A. J., Washburn, G., & Wells, J. B. (2002). Implementing Compositional Analysis Using Intersection Types with Expansion Variables. Paper presented at Proc. 2nd Workshop Intersection Types & Related Systems. Electrical Notes in Theoretical Computer Science, Copenhagen, Denmark.
Kfoury, A J ; Washburn, G ; Wells, Joseph Brian. / Implementing Compositional Analysis Using Intersection Types with Expansion Variables. Paper presented at Proc. 2nd Workshop Intersection Types & Related Systems. Electrical Notes in Theoretical Computer Science, Copenhagen, Denmark.
@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 = "7",
language = "English",
note = "Proc. 2nd Workshop Intersection Types & Related Systems. Electrical Notes in Theoretical Computer Science, ITRS '02 ; Conference date: 01-07-2002",

}

Kfoury, AJ, Washburn, G & Wells, JB 2002, 'Implementing Compositional Analysis Using Intersection Types with Expansion Variables', Paper presented at Proc. 2nd Workshop Intersection Types & Related Systems. Electrical Notes in Theoretical Computer Science, Copenhagen, Denmark, 1/07/02.

Implementing Compositional Analysis Using Intersection Types with Expansion Variables. / Kfoury, A J; Washburn, G; Wells, Joseph Brian.

2002. Paper presented at Proc. 2nd Workshop Intersection Types & Related Systems. Electrical Notes in Theoretical Computer Science, Copenhagen, Denmark.

Research output: Contribution to conferencePaper

TY - CONF

T1 - Implementing Compositional Analysis Using Intersection Types with Expansion Variables

AU - Kfoury, A J

AU - Washburn, G

AU - Wells, Joseph Brian

PY - 2002/7

Y1 - 2002/7

M3 - Paper

ER -

Kfoury AJ, Washburn G, Wells JB. Implementing Compositional Analysis Using Intersection Types with Expansion Variables. 2002. Paper presented at Proc. 2nd Workshop Intersection Types & Related Systems. Electrical Notes in Theoretical Computer Science, Copenhagen, Denmark.