The Typed Polymorphic Label-Selective λ-Calculus (1994)

by Jacques Garrigue , Hassan Aït-Kaci
Venue:IN PROC. ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:8 - 0 self