Slide 21
Slide 21 text
Row Polymorphism: Implementation
● Rows are maps from labels to types
(actually, association lists)
● Rows can have duplicate labels
● Unification of rows must ignore order of different labels but preserve order
of duplicates
● “row of k”, spelled # k is a new kind for each kind k
(Example)