A distributed operational semantics for a parallel functional language

An operational semantics for parallel lazy evaluation

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming

Parallel and Distributed Haskells

Journal of Functional Programming

Parallel functional programming in Eden

Journal of Functional Programming

Formally specifying and analyzing a parallel virtual machine for lazy functional languages using Maude

Proceedings of the fifth international workshop on High-level parallel programming and applications

Trends in Trends in Functional Programming 1999/2000 versus 2007/2008

Higher-Order and Symbolic Computation