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, }