|Final Report of the COST-247 Action|
A monadic language for concurrent programming
|School of Cognitive and Computing Sciences|
|University of Sussex|
|Sussex BNI 9QH|
|Tel: 44 1273 678 526|
|Fax: 44 1273 678 188|
Moggi has proposed "strong monads" as an appropriate notion for the description of computations such as side effects and nondeterminism. This talk describes an extension of Moggi's monadic meta-language with higher-order concurrent features. The monadic type system makes it much easier to present a semantics for the language. There is also a translation of Reppy's Concurrent ML into the concurrent monadic meta-language, which preserves weak bisimulation.
This presentation has been given during the COST-247 3rd Management Committee Meeting (Evry, France, September 19--20, 1994).
COST-247 Working Group(s): 1
This Page was prepared by Mark Jorgensen.