Practical subtype inference. In preparation. Earlier version submitted to (1995)

by Dominic Duggan
Venue:ACM Conference on Functional Programming and Computer Architecture