Subtyping

subtype

Free Online Dictionary of Computing