Subtyping constrained types. Revised Draft (1996)

by V Trifonov, S Smith