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

Cached

Download Links

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

Documents Related by Co-Citation

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
32 Theory and practice of sequential algorithms: the kernel of the applicative language CDS0 – G Berry, P-L Curien - 1985
11 Towards a theory of parallel algorithms on concrete data structures – Stephen Brookes, Shai Geva - 1990
12 Continuous Functions and Parallel Algorithms on Concrete Data Structures – Stephen Brookes, Shai Geva - 1991
2 DPML: de la sémantique à l’implantation – C Foisy J Vachon et G Hains - 1994
2 Functional parallel programming with explicit processes: beyond SPMD – F Loulergue et G Hains - 1997
2 Programmation fonctionnelle parallèle en processus statiques : une approche dénotationnelle – F Loulergue et G Hains - 1997
2 L’approche Berry-Curien des langages fonctionnels : application au parallélisme en processus statiques – Gaétan Hains - 1996
21 First-class schedules and virtual maps – R Mirani, P Hudak - 1995
148 Semantic Domains – C. A. Gunter, D. S. Scott - 1990
86 Sequential algorithms on concrete data structures – G Berry, P-L Curien - 1982
930 Categories for the Working Mathematician – S Mac Lane - 1971
9 Le mod`ele de programmation `a parall'elisme de donn'ees : une perspective s'emantique – Luc Boug'e - 1993
31 VCODE: A Data-Parallel Intermediate Language – Guy Blelloch, Siddhartha Chatterjee - 1990
259 Vector Models for Data-Parallel Computing – G E Blelloch - 1990
1 Le probl`eme des types sommes dans les structures concr`etes r'eparties. M'emoire de DEA d'informatique, LIFO, Universit'e d'Orl'eans, Septembre – O Charloton - 1996
1 A categorical model of array domains. Rapport de Recherche RR9443, LIP, ' Ecole Normale Sup'erieure de – G Hains, J Mullins - 1994
1 Programmation parall`ele fonctionnelle en processus statiques: une approche d'enotationnelle. M'emoire de DEA d'informatique, LIFO, Universit'e d'Orl'eans, Septembre – F Loulergue - 1996