Optimal Representations of Polymorphic Types with Subtyping

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

Possibly Related Publications

The following publications are possibly variants of this publication: