Sébastien Carlier. Polar Type Inference with Intersection Types and omega. Electronic Notes in Theoretical Computer Science, 70(1):37-52, 2002. [doi]
@article{Carlier02, title = {Polar Type Inference with Intersection Types and omega}, author = {Sébastien Carlier}, year = {2002}, url = {http://www1.elsevier.com/gej-ng/31/29/23/125/51/show/Products/notes/index.htt#004}, tags = {type inference}, researchr = {https://researchr.org/publication/Carlier02}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {70}, number = {1}, pages = {37-52}, }