Towards the Type Safety of Pure Subtype Systems.

Valentin Pasquale, lvaro Garca-Prez

Browse the full CSL paper archive.