## Parallel Superposition for Bulk Synchronous Parallel ML (2003)

by
Frederic Loulergue

Citations: | 9 - 7 self |

### BibTeX

@MISC{Loulergue03parallelsuperposition,

author = {Frederic Loulergue},

title = {Parallel Superposition for Bulk Synchronous Parallel ML},

year = {2003}

}

### OpenURL

### Abstract

The BSMLlib is a library for Bulk Synchronous Parallel programming with the functional language Objective Caml. It is based on an extension of the l-calculus by parallel operations on a parallel data structure named parallel vector, which is given by intention.