A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation
ISSN: 1090-2651, 0890-5401
Any de publicació: 2014
Volum: 235
Pàgines: 3-35
Tipus: Article
ISSN: 1090-2651, 0890-5401
Any de publicació: 2014
Volum: 235
Pàgines: 3-35
Tipus: Article