Records Continued

• Cornell does not want Dexter to change his salary, could export:

• emprec_dexter: ^*[string^r,B4^r,B4^r]

• Subtyping allows previous slide's value to be used as emprec_dexter

• Longer structures subtypes of shorter structures

Previous slide

Next slide

Back to first slide

View graphic version