scientific article; zbMATH DE number 814798

zbMath0837.68059MaRDI QIDQ4855343

Luca Cardelli

Publication date: 9 November 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

\(\lambda\)-calculusextensible records

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Related Items

An extension of system F with subtyping, An imperative object calculus, Typed operational semantics for higher-order subtyping., A calculus with recursive types, record concatenation and subtyping, Disjoint Polymorphism, Another definition of order-sorted algebra, Simple type-theoretic foundations for object-oriented programming, Taming the Merge Operator