scientific article; zbMATH DE number 4180773

MaRDI QIDQ3204026zbMATH OpenFDO

Authors Mitchell Wand

Publication date 1989

zbMATH Keywords

object-oriented programmingtype inferencelambda calculus with records

Mathematics Subject Classification ID

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

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

(17)

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

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)