"Type Reconstruction for Variable-Arity Procedures."

Hsianlin Dzeng, Christopher T. Haynes (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics