Extensible records without subsumption

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."