Type Reconstruction for Variable-Arity Procedures. - Hsianlin Dzeng; Christopher T. Haynes (LISP and Functional Programming, 1994)