A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation
ISSN: 1090-2651, 0890-5401
Année de publication: 2014
Volumen: 235
Pages: 3-35
Type: Article
ISSN: 1090-2651, 0890-5401
Année de publication: 2014
Volumen: 235
Pages: 3-35
Type: Article