Abstract
The BSMLlib library is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml. It is based on an extension of the λ-calculus by parallel operations on a data structure named parallel vector, which is given by intention. In order to have an execution that follows the BSP model, and to have a simple cost model, nesting of parallel vectors is not allowed. The novelty of this paper is a type system which prevents such nesting. This system is correct w.r.t. the dynamic semantics which is also presented. © Springer-Verlag Berlin Heidelberg 2003.
Cite
CITATION STYLE
Gava, F., & Loulergue, F. (2003). A polymorphic type system for bulk synchronous parallel ML. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2763, 215–229. https://doi.org/10.1007/978-3-540-45145-7_19
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
