Corrigendum: Complete type inference for simple objects (1988)

by Mitchell Wand
Venue:In Third Symposium on Logic In Computer Science