Variable Type Representation

• Given variables x and y of different types, want to know if they share a common subtype

<insert Figure 3 from paper here>

Previous slide

Next slide

Back to first slide

View graphic version