"Type inference with expansion variables and intersection types in system E ..."

Sébastien Carlier, J. B. Wells (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics