next up previous

Final Report of the COST-247 Action

A monadic language for concurrent programming

Alan Jeffrey

School of Cognitive and Computing Sciences
University of Sussex
Falmer, Brighton
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.

Back to the VASY Home page