How do we determine if a type A is a subtype of a type B?

• A <= B means A is a subtype of B

• Consider types as records

  • A must have all the fields that B has; A can have more fields

• For all fields in common, fA <= fB

Previous slide

Next slide

Back to first slide

View graphic version