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.