Document is current

Integration of parametric and “ad hoc” second order polymorphism in a calculus with subtyping

Crossref DOI link: https://doi.org/10.1007/BF01214916

Published Print: 1996-05

Update policy: https://doi.org/10.1007/springer_crossmark_policy