A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation
ISSN: 1090-2651, 0890-5401
Year of publication: 2014
Volume: 235
Pages: 3-35
Type: Article
ISSN: 1090-2651, 0890-5401
Year of publication: 2014
Volume: 235
Pages: 3-35
Type: Article