Alexander Aiken, Edward L. Wimmers, Jens Palsberg. Optimal Representations of Polymorphic Types with Subtyping. Higher-Order and Symbolic Computation, 12(3):237-282, 1999.
No references recorded for this publication.
No citations of this publication recorded.