Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach. Efficient Inference of Partial Types. In 33rd Annual Symposium on Foundations of Computer Science, 24-27 October 1992, Pittsburgh, Pennsylvania, USA. pages 363-371, IEEE, 1992.
@inproceedings{KozenPS92,
title = {Efficient Inference of Partial Types},
author = {Dexter Kozen and Jens Palsberg and Michael I. Schwartzbach},
year = {1992},
tags = {type inference},
researchr = {https://researchr.org/publication/KozenPS92},
cites = {0},
citedby = {0},
pages = {363-371},
booktitle = {33rd Annual Symposium on Foundations of Computer Science, 24-27 October 1992, Pittsburgh, Pennsylvania, USA},
publisher = {IEEE},
}