2002 | ||
---|---|---|
1 | EE | Assaf J. Kfoury, Geoffrey Washburn, Joe Wells: Implementing Compositional Analysis Using Intersection Types With Expansion Variables. Electr. Notes Theor. Comput. Sci. 70(1): (2002) |
1 | Assaf J. Kfoury (A. J. Kfoury) | [1] |
2 | Geoffrey Washburn | [1] |