Positive subtyping
From MaRDI portal
Publication:1917089
DOI10.1006/inco.1996.0031zbMath0853.68125OpenAlexW2912288127MaRDI QIDQ1917089
Benjamin C. Pierce, Martin Hofmann
Publication date: 3 July 1996
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1996.0031
Related Items (5)
System ST toward a type system for extraction and proofs of programs ⋮ Verified software units ⋮ Tensors of Comodels and Models for Operational Semantics ⋮ Basic theory of \(F\)-bounded quantification. ⋮ Objects and classes in Algol-like languages
This page was built for publication: Positive subtyping
