Quasi-linear types (1999)

by Naoki Kobayashi
Venue:In Proceedings of The ACM SIGPLANSIGACT Symposium on Principles of Programming Languages