TY - GEN
AU - Kfoury, Assaf
AU - Washburn, Geoffrey
AU - Wells, J.B.
TI - Implementing Compositional Analysis Using Intersection Types With Expansion Variables
PB - Elsevier BV
SN - 1571-0661
KW - General Computer Science
KW - Theoretical Computer Science
PY - 2003
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation