Jacques Garrigue Hassan Aït-Kaci The Typed Polymorphic Label-Selective lambda-Calculus. 35-47 1994 POPL db/conf/popl/popl94.html#GarrigueA94