"Type Reconstruction for Variable-Arity Procedures."

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