Complete type inference for simple objects (1988)

by Mitchell Wand
Venue:In Proc. IEEE Symposium on Logic in Computer Science