Michael I. Schwartzbach. Type Inference with Inequalities. In Samson Abramsky, T. S. E. Maibaum, editors, TAPSOFT 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP 91). Volume 493 of Lecture Notes in Computer Science, pages 441-455, Springer, 1991.
@inproceedings{Schwartzbach91, title = {Type Inference with Inequalities}, author = {Michael I. Schwartzbach}, year = {1991}, tags = {type inference}, researchr = {https://researchr.org/publication/Schwartzbach91}, cites = {0}, citedby = {0}, pages = {441-455}, booktitle = {TAPSOFT 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP 91)}, editor = {Samson Abramsky and T. S. E. Maibaum}, volume = {493}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-53982-4}, }