features
COMPSCI 3MI3 – Principles of Programming Languages J. Carette McMaster University Adapted from “Types and Programming Languages” by Benjamin C. Pierce J. Carette (McMaster University) Data-Structures Fall 2023 1 / 9 Data-Structures Adding data-structures: pairs ⟨t⟩ ::= … | {t, t}.1 | {t, t}.2 ⟨v⟩ ::= … | {v, v} (E-Proj1) (E-Proj2) (E-Pair1) t . […]