Adoption and focus: Practical linear types for imperative programming (2002)

by M Fähndrich, R DeLine
Venue:in: Proceedings of the ACM Conference on Programming Language Design and Implementation