Efficient type inference of object types (0)

by Jens Palsberg
Venue:In Ninth Annual IEEE Symposium on Logic in Computer Science