The Typed Polymorchic Label-Selective Lambda-Calculus (1994)

by J GARRIGUE, H KACI
Venue:In Conference Record of POPL ‘94: 2lst ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages