Although functional programming languages simplify writing safe parallel programs by helping programmers to avoid data races, they have traditionally delivered poor performance. Recent work improved performance using a hierarchical memory architecture that allows processors allocate and reclaim independently without any synchronization, solving thus the key challenge afflicting programs. The ap...

Because of its many desirable properties, such as ability to control effects and thus potentially disastrous race conditions, functional programming offers a viable approach modern multicore computers. Over the past decade several parallel languages, typically based on dialects ML Haskell, have been developed. These however, traditionally underperformed procedural languages (such C Java). The p...