The typed polymorphic label-selective lambda-calculus (1994)

by Jacques Garrigue, H At-Kaci
Venue:In Principles of Programming Languages