Parallel composition and bulk synchronous parallel functional programming

The work described here is part of our research program to inv estigate new paradigms for declarative parallel programming th rough special interpretations of standard semantics. Our approach is a purely f unctional approach to programming of BSP algorithms [1]. An attempt to add a para llel composition to this approach led to a non-confluent calculus [2]. Thi s paper presents a solution for adding parallel composition to the weak call-b y-valuestrategyof the BSλp-calculus [3] and to theBSMLlib library [4, 5].