Sébastien Carlier, J. B. Wells
Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction
PPDP, 2004.
@inproceedings{PPDP-2004-CarlierW,
author = "Sébastien Carlier and J. B. Wells",
booktitle = "{Proceedings of the Sixth International Conference on Principles and Practice of Declarative Programming}",
doi = "10.1145/1013963.1013980",
isbn = "1-58113-819-9",
pages = "132--143",
publisher = "{ACM}",
title = "{Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction}",
year = 2004,
}