Type Inference in the Icon Programming Language*
<_author_search_(kenneth walker)>Kenneth Walker and <_author_search_(ralph e. griswold)>Ralph E. Griswold
October 13, 1992
Department of Computer Science
The University of Arizona
Tucson, Arizona 85721
*This work was supported by the National Science Foundation under Grants DCR-8502015 and CCR-8901573.