A New Formalization of Subtyping to Match Subclasses to Subtypes.

Hyunik Na, Sukyoung Ryu

Browse the full FLOPS paper archive.