The typed polymorphic label-selective -calculus (1994)

by J Garrigue, H At-Kaci
Venue:In Proc. ACM Symposium on Principles of Programming Languages