On linear types and regions (2001)

by D Walker, K Watkins
Venue:In ACM International Conference on Functional Programming