Adoption and Focus: Practical Linear Types for Imperative Programming (2002)

by Manuel Fähndrich , Robert DeLine
Venue:PLDI'02
Citations:155 - 4 self