Observers for linear types (1992)

by M Odersky
Venue:in Proceedings of the 4th European Symposium on Programming