"A Practical Approach to Type Inference for EuLisp."

Andreas Kind, Horst Friedrich (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics