Optimal representations of polymorphic types with subtyping

DOI10.1023/A:1010056315933zbMath0941.68076OpenAlexW1598913101MaRDI QIDQ1818009

Edward L. Wimmers, Jens Palsberg, Alexander 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

subtypingparametric polymorphism

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Simplifying subtyping constraints: a theory ⋮ Inferring program specifications in polynomial-time

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