A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Any de publicació: 2009
Volum: 246
Pàgines: 167-182
Tipus: Article