Communicating sequential processes
Communicating sequential processes
Serial combinators: “optimal” grains of parallelism
Proc. of a conference on Functional programming languages and computer architecture
GRIP—A high-performance architecture for parallel graph reduction
Proc. of a conference on Functional programming languages and computer architecture
Functional programming for concurrent and distributed computing
The Computer Journal
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Delirium: an embedding coordination language
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Para-functional programming in Haskell
Parallel functional languages and compilers
Coordination languages and their significance
Communications of the ACM
Performance studies of Id on the Monsoon dataflow system
Journal of Parallel and Distributed Computing - Special issue on dataflow and multithreaded architectures
GUM: a portable parallel implementation of Haskell
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Compositional parallel programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional Programming for Loosely-Coupled Multiprocessors
Functional Programming for Loosely-Coupled Multiprocessors
Introduction to Algorithms: A Creative Approach
Introduction to Algorithms: A Creative Approach
Research Directions in Parallel Functional Programming
Research Directions in Parallel Functional Programming
Functional Programming and Parallel Graph Rewriting
Functional Programming and Parallel Graph Rewriting
Functional Skeletons for Parallel Coordination
Euro-Par '95 Proceedings of the First International Euro-Par Conference on Parallel Processing
Functional Programming and Parallel Processing
VECPAR '96 Selected papers from the Second International Conference on Vector and Parallel Processing
Coordinating Functional Processes Using Petri Nets
IFL '96 Selected Papers from the 8th International Workshop on Implementation of Functional Languages
The Eden Coordination Model for Distributed Memory Systems
HIPS '97 Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97)
EQUALS – a fast parallel implementation of a lazy language
Journal of Functional Programming
Proceedings of the 1st conference on Computing frontiers
Proceedings of the 2005 ACM symposium on Applied computing
Compositional Specification of Parallel Components Using Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Translating Haskell# programs into Petri nets
VECPAR'02 Proceedings of the 5th international conference on High performance computing for computational science
Using aspects for supporting procedural modules in # programming
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
| Hi-index | 0.01 |
This paper presents Haskell#, a parallel functional language based on coordination. Haskell# supports lazy stream communication and facilities, at coordination level, to the specification of data parallel programs. Haskell# supports a clean and complete, semantic and syntactic, separation between coordination and computation levels of programming, with several benefits to parallel program engineering. The implementation of some well-known applications in Haskell# is presented, demonstrating its expressiveness, allowing for elegant, simple, and concise specification of any static pattern of parallel, concurrent or distributed computation.