「SF-PLF」12 Records Posted on 2024-02-02 Adding Records123456789101112t ::= Terms: | {i1=t1, ..., in=tn} record | t.i projection | ...v ::= Values: | {i1=v1, ..., in=vn} record value | ...T ::= Types: | {i1:T1, ..., in:Tn} record type | ... Formalizing Records