scientific article; zbMATH DE number 4180773

zbMATH Open0716.68017MaRDI QIDQ3204026FDOQ3204026

Authors: Mitchell Wand 

Publication date: 1989

Title of this publication is not available (Why is that?)

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

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)

Cited In (17)

• Title not available (Why is that?)
• A modest model of records, inheritance, and bounded quantification
• \texttt{EVL}: a typed higher-order functional language for events
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)