Xuejing Huang

Taming the Merge Operator

2021 · Journal of Functional Programming

Abstract Calculi with disjoint intersection types support a symmetric merge operator with subtyping. The merge operator generalizes record concatenation to any type, enabling expressive forms of object composition, and simple solutions to hard modularity problems. …