Optimal representations of polymorphic types with subtyping

DOI10.1023/A:1010056315933MaRDI QIDQ1818009zbMATH OpenOpenAlexFDO

Authors Alexander Aiken, Edward L. Wimmers, Jens Palsberg

Publication date 8 February 2000

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1010056315933

zbMATH Keywords

parametric polymorphismsubtyping

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1088035
• Polymorphic type inference with overloading and subtyping
• Simplifying subtyping constraints: a theory
• Polymorphism, subtyping, and type inference in MLsub
• Simplifying subtyping constraints

Cited in

(10)

• Simplifying subtyping constraints: a theory
• Simplifying subtyping constraints
• Typed compilation of inclusive subtyping
• scientific article; zbMATH DE number 5117546 (Why is no real title available?)
• scientific article; zbMATH DE number 1088035 (Why is no real title available?)
• scientific article; zbMATH DE number 2080288 (Why is no real title available?)
• scientific article; zbMATH DE number 2090556 (Why is no real title available?)
• Inferring program specifications in polynomial-time
• Pragmatic subtyping in polymorphic languages
• Polymorphic subtyping in O'Haskell

This page was built for publication: Optimal representations of polymorphic types with subtyping

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