Date of Original Version

1990

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

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

Share

COinS