Type Inference in the Icon Programming Language*

<_author_search_(kenneth walker)>Kenneth Walker and <_author_search_(ralph e. griswold)>Ralph E. Griswold

TR 93-32

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.