Extensible records without subsumption
Robert W. Harper, Benjamin C. Pierce · KiltHub Repository · 2018
Abstract "We present a calculus of operations on extensible records, based on a polymorphic lambda calculus with constrained quantification. This system is related to Cardelli and Mitchell's calculus of operations on records, but expresses constraints on record operations using explicit predicates on types rather than a subtype relation."