Making Type Inference Practical

Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach. Making Type Inference Practical. In Ole Lehrmann Madsen, editor, ECOOP 92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29 - July 3, 1992, Proceedings. Volume 615 of Lecture Notes in Computer Science, pages 329-349, Springer, 1992. [doi]

Abstract

Abstract is missing.