Media type: E-Article Title: Implementing Compositional Analysis Using Intersection Types With Expansion Variables Contributor: Kfoury, Assaf; Washburn, Geoffrey; Wells, J.B. imprint: Elsevier BV, 2003 Published in: Electronic Notes in Theoretical Computer Science Language: English DOI: 10.1016/s1571-0661(04)80494-8 ISSN: 1571-0661 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: Access State: Open Access