%0 Conference Proceedings %F Henglein92 %A Henglein, Fritz %T Global tagging optimization by type inference %B Proceedings of the 1992 ACM Conference on LISP and Functional Programming %C San Francisco, California %D 1992 %U http://www.cs.berkeley.edu/~jcondit/pl-prelim/henglein92global.ps