Objects as records
record = finite association of values to labels
Field selection
-- basic operation
(a = 3, b = true ).a == 3
Typing rule
\ffrac{
e_1 : %t_1
and ... and
e_n : %t_n
}{
{ a_1 = e1,..., a_n = e_n } : { a_1 : %t_1, ..., a_n : %t_n }
}
slide
:
The object subtype relation
