L3 : A Linear Language with Locations Greg Morrisett1 , Amal Ahmed1 , and Matthew Fluet2 1 Harvard University {greg,amal 2 - L3 - Document - PDFSEARCH.IO

First Page	Meta Content
	L3 : A Linear Language with Locations Greg Morrisett1 , Amal Ahmed1 , and Matthew Fluet2 1 Harvard University {greg,amal}@eecs.harvard.edu 2 Add to Reading List Document Date: 2005-02-07 13:49:07 Open Document File Size: 236,78 KB Share Result on Facebook

L3 : A Linear Language with Locations Greg Morrisett1 , Amal Ahmed1 , and Matthew Fluet2 1 Harvard University {greg,amal}@eecs.harvard.edu 2Add to Reading List