Sébastien Carlier, J. B. Wells. Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation. Electronic Notes in Theoretical Computer Science, 136:173-202, 2005. [doi]
@article{CarlierW05, title = {Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation}, author = {Sébastien Carlier and J. B. Wells}, year = {2005}, doi = {10.1016/j.entcs.2005.03.026}, url = {http://dx.doi.org/10.1016/j.entcs.2005.03.026}, tags = {type inference, survey}, researchr = {https://researchr.org/publication/CarlierW05}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {136}, pages = {173-202}, }