14 citations · 20 across the 6 of their papers we have counts for
1 paper · 2 filters
Elvira Albert, Nikolaos Bezirgiannis, Frank de Boer +1
We present a formal translation of an actor-based language with cooperative scheduling to the functional language Haskell. The translation is proven correct with respect to a forma…