mHaskell: Mobile Computation in a Purely Functional Language
André Rauber Du Bois, Hans‐Wolfgang Loidl, Phil Trinder · 2020
This paper is a complete description of mHaskell, an extension of Concurrent Haskell for mobile computation. We describe new stateful mobility primitives that use higher-order channels, giving their operational semantics and an implementation outline. We show how medium-level coordination abstractions can be constructed using monadic composition of the mobility primitives. We briefly