Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction.

Sbastien Carlier, J. B. Wells

Browse the full PPDP paper archive.