%0 Conference Paper %1 journals/entcs/KfouryWW02 %A Kfoury, Assaf J. %A Washburn, Geoffrey %A Wells, Joe B. %B ITRS %D 2002 %E van Bakel, Steffen %I Elsevier %K dblp %N 1 %P 124-148 %T Implementing Compositional Analysis Using Intersection Types With Expansion Variables. %U http://dblp.uni-trier.de/db/conf/itrs/itrs2002.html#KfouryWW02 %V 70

@inproceedings{journals/entcs/KfouryWW02, added-at = {2022-12-06T00:00:00.000+0100}, author = {Kfoury, Assaf J. and Washburn, Geoffrey and Wells, Joe B.}, biburl = {https://www.bibsonomy.org/bibtex/2ad7c878e416c813629b138e5cd299ab2/dblp}, booktitle = {ITRS}, crossref = {conf/itrs/2002}, editor = {van Bakel, Steffen}, ee = {https://doi.org/10.1016/S1571-0661(04)80494-8}, interhash = {aeaa1e7ef48791075ba65542cf4580ff}, intrahash = {ad7c878e416c813629b138e5cd299ab2}, keywords = {dblp}, number = 1, pages = {124-148}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T16:38:39.000+0200}, title = {Implementing Compositional Analysis Using Intersection Types With Expansion Variables.}, url = {http://dblp.uni-trier.de/db/conf/itrs/itrs2002.html#KfouryWW02}, volume = 70, year = 2002 }