Optimal representations of polymorphic types with subtyping

DOI10.1023/A:1010056315933MaRDI QIDQ1818009zbMATH OpenOpenAlexFDO

Authors Edward L. Wimmers, Jens Palsberg, Alexander M. Aiken

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

• Optimal representations of polymorphic types with subtyping. (Extended abstract)
• 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?)
• Optimal representations of polymorphic types with subtyping. (Extended abstract)
• On Jones-optimal specialization for strongly typed languages
• TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP
• 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)