Can I read A concurrent ML library in concurrent Haskell on EtoBox?

A concurrent ML library in concurrent Haskell by Avik Chaudhuri is a Computer Science article available to read on EtoBox.

What is A concurrent ML library in concurrent Haskell about?

In Concurrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, called __higher-order concurrent programming__ . Unfortunately, it is not clear whether this style of programming is possible in languages such as Concurrent Haskell, that support only first-order message passing. Indeed, the implementation of synchronization abstractions in Concurrent ML relies on fairly low-level, language-specific details. In this paper we show, constructively, that synchronization abstractions can be supported in a language that supports only first-order message passing. Specifically, we implement a library that makes Concurrent ML-style programming possible in Concurrent Haskell. We begin with a core, formal implementation of synchronization abstractions in the π-calculus. Then, we extend this implementation to encode all of Concurrent ML's concurrency primitives (and more!) in Concurrent Haskell. Our implementation is surprisingly efficient, even without possible optimizations. In several small, informal experiments, our library seems to outperform OCaml's standard library of

Who reads A concurrent ML library in concurrent Haskell?

Author

Avik Chaudhuri

Publisher

ACM

Published

2009

Language

EN

Field

Computer Science (Physical Sciences)