Subtyping in Emerald -- $S$ conforms to $T$
- S provides at least the operations of T
- for each operation in T, the corresponding operation in S
has the same number of arguments
- the type of the result of operations of S
conform to those of the operations of T
- the types of arguments of operations of T conform
to those of the operations of S
slide: The subtype relation in Emerald