Quasi-linear types, in (1999)

by N Kobayashi
Venue:Proceedings of the ACM Symposium on Principles of Programming Languages