Concurrent Monadic Interfacing

I Holyer, E Spiliopoulou, Concurrent Monadic Interfacing. IFL '98: Proceedings of the 10th International Workshop on Implementation of Functional Languages, pp. 253–269. September 1998. No electronic version available.


In this paper we present the Brisk monadic framework, in which the usual monadic style of interfacing is adapted to accommodate a deterministic form of concurrency. Its main innovation is to allow actions on state components. This is a key issue which enables state splitting, a technique which assigns to each new thread a part of the state, a substate, to act upon. Distinct concurrent threads are restricted to access disjoint substates. A purely functional prototype implementation is presented to demonstrate these ideas. The resulting system acts as a basis for offering a purely functional form of concurrency, extending the expressiveness of functional languages without spoiling the semantics by introducing non-determinism.

Bibtex entry.

Contact details

Publication Admin