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

by Manuel Fähndrich, Robert DeLine
Venue:Pages 13–24 of: ACM Conference on Programming Language Design and Implementation (PLDI