scientific article; zbMATH DE number 814796

MaRDI QIDQ4855341zbMATH OpenFDO

Authors Luca Cardelli, John Mitchell

Publication date 9 November 1995

zbMATH Keywords

object- oriented languagesrecord structuressemantic modelstypechecking algorithms

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55)

Recommendations

• Operations on records
• Operations on records (extended abstract)
• Operations on records
• scientific article; zbMATH DE number 814797
• A record calculus with principal types

Cited in

(9)

• Static correctness of hierarchical procedures
• A calculus for reasoning about software composition
• Operations on records
• Type extensions
• MOVE-TO-FRONT RULE FOR ACCESSING SEVERAL RECORDS
• Operations on records (extended abstract)
• Type-indexed rows
• Private Row Types: Abstracting the Unnamed
• Operations on records

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4855341)