"A resource semantics and abstract machine for Safe: A functional language ..."

Manuel Montenegro, Ricardo Peña, Clara Segura (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics