Subtyping Constrained Types.

Valery Trifonov, Scott F. Smith

Browse the full SAS paper archive.