L3: A linear language with locations (0)

by Amal Ahmed, Matthew Fluet, Greg Morrisett
Venue:Fundamenta Informaticae