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