Types and Programming Languages
|
| < Free Open Study > |
|
A.13 Lemma
If
Proof: Straightforward induction on the derivation of C <: D. Note that, whether m is defined in CT(C) or not, mtype(m, C) should be the same as mtype(m, E) where CT(C) = class C extends E {...}.
|
| < Free Open Study > |
|