1. Theory and practice of sequential algorithms: the kernel of the applicative language CDS;Berry,1985
2. Continuous functions and parallel algorithms on concrete data structures;Brookes,1991
3. Categorical Combinators, Sequential Algorithms and Functional Programming;Curien,1993
4. Caml Flight: a portable SPMD extension of ML for distributed memory multiprocessors;Foisy,1995
5. Concrete data structures and functional parallel programming;Hains;Theoretical Computer Science,2001