Alexander Aiken, Edward L. Wimmers, Jens Palsberg. Optimal Representations of Polymorphic Types with Subtyping. Higher-Order and Symbolic Computation, 12(3):237-282, 1999.
@article{AikenWP99,
title = {Optimal Representations of Polymorphic Types with Subtyping},
author = {Alexander Aiken and Edward L. Wimmers and Jens Palsberg},
year = {1999},
tags = {subtyping},
researchr = {https://researchr.org/publication/AikenWP99},
cites = {0},
citedby = {0},
journal = {Higher-Order and Symbolic Computation},
volume = {12},
number = {3},
pages = {237-282},
}