A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation
ISSN: 1090-2651, 0890-5401
Ano de publicación: 2014
Volume: 235
Páxinas: 3-35
Tipo: Artigo
ISSN: 1090-2651, 0890-5401
Ano de publicación: 2014
Volume: 235
Páxinas: 3-35
Tipo: Artigo