A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
Journal:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Year of publication: 2009
Volume: 246
Pages: 167-182
Type: Article