A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation
ISSN: 1090-2651, 0890-5401
Argitalpen urtea: 2014
Alea: 235
Orrialdeak: 3-35
Mota: Artikulua
ISSN: 1090-2651, 0890-5401
Argitalpen urtea: 2014
Alea: 235
Orrialdeak: 3-35
Mota: Artikulua