Sébastien Carlier, J. B. Wells. Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. In Eugenio Moggi, David Scott Warren, editors, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy. pages 132-143, ACM, 2004. [doi]
Abstract is missing.