|
| 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 |
| E-mail: alanje@cogs.susx.ac.uk |
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