Inheritance (Cardelli/Wegner)

• Subtyping on record types corresponds to the concept of inheritance (subclass) in languages, especially if records are allowed to have functional components

  • [These functional components in records are methods]

Previous slide

Next slide

Back to first slide

View graphic version