Type inference for record concatenation and subtyping

DOI10.1016/J.IC.2003.10.001MaRDI QIDQ1887147zbMATH OpenOpenAlexFDO

Authors Jens Palsberg, Tian Zhao

Publication date 23 November 2004

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

Full work available at URL https://doi.org/10.1016/j.ic.2003.10.001

zbMATH Keywords

ComplexityTypesObjects

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Recommendations

• Publication:3204026
• Type inference for record concatenation and multiple inheritance
• scientific article; zbMATH DE number 814797
• Publication:4490755
• scientific article; zbMATH DE number 4080882

Cites work

• scientific article; zbMATH DE number 1629946 (Why is no real title available?)
• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• scientific article; zbMATH DE number 1142329 (Why is no real title available?)
• scientific article; zbMATH DE number 2077113 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• scientific article; zbMATH DE number 2087567 (Why is no real title available?)
• scientific article; zbMATH DE number 814797 (Why is no real title available?)
• A syntactic approach to type soundness
• Efficient inference of object types
• Efficient inference of partial types
• Fundamental properties of infinite trees
• Simplifying subtyping constraints
• Type inference for record concatenation and multiple inheritance
• Type inference with non-structural subtyping
• Type-indexed rows

Cited in

(6)

• scientific article; zbMATH DE number 814797 (Why is no real title available?)
• Object type constructors
• A calculus with recursive types, record concatenation and subtyping
• Taming the merge operator
• scientific article; zbMATH DE number 4180773 (Why is no real title available?)
• A computational complexity analysis of tunable type inference for Generic Universe Types

This page was built for publication: Type inference for record concatenation and subtyping

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1887147)