L³: A Linear Language with Locations (2005)
by
Greg Morrisett
,
Amal Ahmed
,
Matthew Fluet
| Venue: | IN SEVENTH INTERNATIONAL CONFERENCE ON TYPED LAMBDA CALCULI AND APPLICATIONS |
| Citations: | 21 - 3 self |
BibTeX
@INPROCEEDINGS{Morrisett05l³:a,
author = {Greg Morrisett and Amal Ahmed and Matthew Fluet},
title = {L³: A Linear Language with Locations},
booktitle = {IN SEVENTH INTERNATIONAL CONFERENCE ON TYPED LAMBDA CALCULI AND APPLICATIONS},
year = {2005},
pages = {293--307},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We explore foundational typing support for strong updates -- updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expressive type system based upon standard linear logic, one that also enjoys a simple semantic interpretation for types that is closely related to models for spatial logics. The typing
