Objects as records

Field selection -- basic operation

Typing rule


slide: The object subtype relation