scientific article; zbMATH DE number 4180773

MaRDI QIDQ3204026zbMATH OpenFDO

Authors Mitchell Wand

Publication date 1989

zbMATH Keywords

lambda calculus with recordsobject-oriented programmingtype inference

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01) Theory of programming languages (68N15)

Recommendations

• Type inference for record concatenation and multiple inheritance
• scientific article; zbMATH DE number 4080882
• Type inference for record concatenation and subtyping
• A record calculus with principal types
• Efficient inference of object types

Cited in

(18)

• Superposition with datatypes and codatatypes
• Type inference for record concatenation and subtyping
• Efficient inference of object types
• \texttt{EVL}: a typed higher-order functional language for events
• Category-sorted algebra-based action semantics
• Practical Optional Types for Clojure
• Disjoint polymorphism
• scientific article; zbMATH DE number 4080882 (Why is no real title available?)
• scientific article; zbMATH DE number 1479639 (Why is no real title available?)
• scientific article; zbMATH DE number 814797 (Why is no real title available?)
• Taming the merge operator
• The coherence of languages with intersection types
• Operations on records (extended abstract)
• An imperative object calculus
• Operations on records
• An ML-style record calculus with extensible records
• Type inference for record concatenation and multiple inheritance
• 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 Q3204026)