P.: Type inference with subtypes (0)

by Y C Fuh, Mishra
Venue:Proceedings of the European Symposium on Programming. Volume 300 of Lecture