A deterministic multi-way rendezvous library for haskell

Nalini Vasudevan, Stephen A. Edwards, Satnam Singh · Proceedings - IEEE International Parallel and Distributed Processing Symposium · 2008

The advent of multicore processors requires mainstream concurrent programming languages with high level concurrency constructs and effective debugging techniques. Unfortunately, many concurrent programming languages are non-deterministic and allow data races.

Read the paper · More papers on PaperTik