Correspondence
<< %a, %r, %x >>
%a
abstraction -- maps
%s
values to
%t
values
%r
renaming -- maps subtype to supertype methods
%x
extension -- explains effects of extra methods
slide
:
The subtype correspondence mapping
