scientific article; zbMATH DE number 814794

MaRDI QIDQ4855339zbMATH OpenFDO

Authors Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov

Publication date 16 April 1996

zbMATH Keywords

inheritance polymorphismsemantic interpretations for languages

Mathematics Subject Classification ID

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

Recommendations

• A semantics of multiple inheritance
• Implicit coercions in type systems
• Coercions in a polymorphic type system
• A modest model of records, inheritance, and bounded quantification

Cited in

(6)

• Modeling inheritance as coercion in a symbolic computation system
• scientific article; zbMATH DE number 4180771 (Why is no real title available?)
• The inheritance of PN-COOPN
• Implicit coercions in type systems
• Typed equivalence, type assignment, and type containment
• A modest model of records, inheritance, and bounded quantification

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 Q4855339)