A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.

Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin

Browse the full LOPSTR paper archive.