Principality and type inference for intersection types using expansion variables

A. J. Kfoury, J. B. Wells. Principality and type inference for intersection types using expansion variables. Theoretical Computer Science, 311(1-3):1-70, 2004. [doi]

Abstract

Abstract is missing.