Complete type inference for simple objects (1987)

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