Corrigendum : Complete type inference for simple object (1988)

by M Wand
Venue:In Proceedings of the Third Symposium on Logic in Computer Science