A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
Zeitschrift:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Datum der Publikation: 2009
Ausgabe: 246
Seiten: 167-182
Art: Artikel