A resource semantics and abstract machine for Safe : A functional language with regions and explicit deallocation | Publicación