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

by Manuel Fähndrich, Robert DeLine
Venue:In PLDI ’02