Amal Ahmed, Matthew Fluet, Greg Morrisett. L:::3:::: A Linear Language with Locations. Fundamenta Informaticae, 77(4):397-449, 2007. [doi]
@article{AhmedFM07,
title = {L:::3:::: A Linear Language with Locations},
author = {Amal Ahmed and Matthew Fluet and Greg Morrisett},
year = {2007},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=77&issue=4&spage=397},
researchr = {https://researchr.org/publication/AhmedFM07},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {77},
number = {4},
pages = {397-449},
}