A Cartesian Closed Category of Parallel Algorithms between Scott Domains (1991)

View PDF

Download Links

by Stephen Brookes , Shai Geva
Citations:6 - 2 self

Documents Related by Co-Citation

986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
766 Notions of Computation and Monads – Eugenio Moggi - 1991
1353 Monads for functional programming – Philip Wadler - 1995
419 Category Theory for Computer Science – M Barr, C Wells - 1990
406 LCF considered as a programming language – Gordon Plotkin - 1977
31 Theory and practice of sequential algorithms: the kernel of the applicative language CDS – G BERRY, P-L CURIEN - 1985
11 Towards a theory of parallel algorithms on concrete data structures – Stephen Brookes, Shai Geva - 1990
5 Caml-flight alpha: Implantation et applications – E Chailloux, C Foisy - 1995
3 Array Structures and Data-Parallel Algorithms – GaĆ©tan Hains, John Mullins, John Mullins - 1996