Higher order flattening

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3992 LNCS - II, Issue , 2006, Pages 920-928

  Leshchinskiy, Roman ^a,b   Chakravarty, Manuel M T ^a   Keller, Gabriele ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ARRAYS; FUNCTIONS; PARALLEL PROCESSING SYSTEMS;

DATA PARALLEL ARRAYS; FLAT DATA PARALLELISM; FUNCTIONAL VALUES;

DATA PROCESSING;

EID: 33746637093     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11758525_122     Document Type: Conference Paper

References (8)

1. G. E. Blelloch. Vector Models for Data-Parallel Computing. MIT Press, 1990.
2. G. E. Blelloch. Programming parallel algorithms. CACM, 39(3):85-97, 1996.
3. M. M. T. Chakravarty and G. Keller, More types for nested data parallel programming. In P. Wadler, editor, 5th ACM SIGPLAN Intl. Conf, on Functional Programming (ICFP'OO), pages 94-105, ACM. Press, 2000.
4. M. M. T. Chakravarty arid G. Keller, An approach to fast arrays in Haskell. In J. Jeuring and S. Peytou Jories, editors, Lecture notes for The Summer School on Advanced Functional Programming '02, LNCS 2038, 2003.
5. M. M. T. Chakravarty, G. Keller, R. Lechtchinsky, and W. Pfannenstiel. NepalNested data parallelism in Haskell, In R. Sakellariou, J. Keane, J. R. Gurd, and L. Freeman, editors, Euro-Par 2001; Parallel Processing, number 2150, pages 524-534, Springer-Verlag, 2001.
6. R. Leshchinskiy, Higher-Order Nested Data Parallelism: Semantics and Implementation. PhD thesis, Technische Universität Berlin, 2005.
7. Y. Minamide, G. Morrisett, and R. Harper. Typed closure conversion. In POPL '96: Proc. of the 23rd ACM SIGPLAN-SIGACT Sym. on Principles of Programming Languages, pages 271-283. ACM Press, 1996.
8. P. Wadler. Theorems for free! In FPCA '89: Proceedings 4th International Conference on Functional Programming Languages and Computer Architecture, pages 347-359, New York, 1989. ACM Press.