Subtyping constrained types (1996)

by Valery Trifonov, Scott Smith
Venue:In Static Analysis Symposium (SAS