A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Año de publicación: 2009
Volumen: 246
Páginas: 167-182
Tipo: Artículo