Adoption and Focus: Practical Linear Types for Imperative Programming.

Manuel Fhndrich, Robert DeLine

Browse the full PLDI paper archive.