The Typed Polymorphic Label-Selective lambda-Calculus.

Jacques Garrigue, Hassan At-Kaci

Browse the full POPL paper archive.