Type inference for record concatenation and multiple inheritance

DOI10.1016/0890-5401(91)90050-CzbMath0732.68026MaRDI QIDQ808687

Mitchell Wand

Publication date: 1991

Published in: Information and Computation (Search for Journal in Brave)

zbMATH Keywords

recordsobject-oriented programminglambda calculustype inferenceclasses

Mathematics Subject Classification ID

Theory of programming languages (68N15) General topics in the theory of software (68N01)

Related Items

Type inference for record concatenation and subtyping, Type inference with non-structural subtyping, Labelled reductions, runtime errors, and operational subsumption, A lambda-calculus for dynamic binding, A record calculus with principal types, Applicative intersection types, Strong normalization with non-structural subtyping, Intermediate representation of programs with type specification based on pattern matching, TYPE INFERENCE FOR FIRST-CLASS MESSAGES WITH FEATURE CONSTRAINTS

Uses Software

• ML
• mini-ML

Cites Work

• Basic polymorphic typechecking
• A semantics of multiple inheritance
• A theory of type polymorphism in programming
• The Principal Type-Scheme of an Object in Combinatory Logic