Corrigendum: Complete Type Inference for Simple Objects (1988)

by Mitchell Wand
Venue:In Proceedings of the Third Annual IEEE Symposium on Logic in Computer Science