Links & References

Web Resources

Mozart/Oz web site http://www.mozart-oz.org
Haskell
- User guide: Concurrent and Parallel Haskell (html)
- Wiki: Haskell for multicores (html)
- Wiki: Blog articles on parallel (html)

Dataflow variables in Ruby blog post
The Twitter dev team has switched to Scala blog post
C++ Futures LtU post
- The next C++ standard is supposed to include futures in the libraries.
Do we need new languages for parallel processing?

 (insideHPC post)

Concepts, Techniques, and Models of Computer Programming (CTM)
- book site
- programming paradigms poster
Real World Haskell (November 2008 book), Chapter 24. Concurrent and multicore programming (html)

Oz (site)
- multiparadigm: declarative concurrency, dataflow variables, message-passing concurrency, shared-state concurrency, object oriented programming, constraint programming, distributed programming
- Mozart VM, explicit green threads, no multicore support
- Mozart 4.0, new fault tolerance model
Alice ML (site)
- Oz inspired
- futures and promises
- Concurrent lambda calculus with Futures html with pdf link
Erlang
- declarative core, agents, mailboxes, distributed programming, fault tolerance
- http://www.erlang.org/
- User's guide
Scala (site)
- actors
- java like syntax, run on JVM
Clojure (site)
- software transactional memory
- lisp like syntax, run on JVM
E (site)
Parallel Haskell
- speculative declarative concurrency (with pseq and par)
- multicore support
Data Parallel Haskell (wiki)
- Nested Data Parallelism
Concurrent Haskell (wiki)
- forkIO, MVars
- Software Transactional Memory (STM)
OpenMP (site)
Nesl (site)
- Nested Data Parallelism
- no source available, only for uncommon architectures