Parallelism and Non-determinism in Pure Functional Languages

This work shows how to express parallelism in functional languages, and how compilers and runtime systems can automatically exploit this parallelism, and demonstrates non-determinism and asynchronous communication.