A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation | Publicación