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

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