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:23 - 3 self