An implementation of Eden on top of concurrent Haskell

DREAM: The distributed Eden abstract machine

“…3 For the channels to connect unique writers to unique readers, it is checked at runtime that no other process has connected to this channel before.…”

“…In contrast to the prototype implementation described in [3], the distributed implementation presented in this paper incorporates a parallel runtime system that is specifically tailored for Eden. It follows the lines of other implementations of functional languages: full Eden is first desugared and translated into a core language called PEARL (Parallel Eden Abstract Reduction Language), then this language is conceptually interpreted by an abstract distributed machine called DREAM (DistRibuted Eden Abstract Machine).…”