Optimal representations of polymorphic types with subtyping
From MaRDI portal
Publication:1818009
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
Related Items (2)
This page was built for publication: Optimal representations of polymorphic types with subtyping