An approach to fast arrays in Haskell

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

Volumn 2638, Issue , 2004, Pages 27-58

  Chakravarty, Manuel M T ^a   Keller, Gabriele ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMPUTATIONAL SCIENCE AND ENGINEERINGS; FUNCTIONAL DEPENDENCY; GENERIC PROGRAMMING; IRREGULAR DATA STRUCTURES; LANGUAGE EXTENSIONS; PROGRAM TRANSFORMATIONS; PURELY FUNCTIONAL; STATE BASED COMPUTATIONS;

DATA STRUCTURES;

EID: 35248855583     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (19)

1. Guy E. Blelloch and Gary W. Sabot. Compiling collection-oriented languages onto massively parallel computers. Journal of Parallel and Distributed Computing, 8:119-134, 1990.
2. Manuel M. T. Chakravarty and Gabriele Keller. More types for nested data parallel programming. In Philip Wadler, editor, Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP'00), pages 94-105. ACM Press, 2000.
3. Manuel M. T. Chakravarty and Gabriele Keller. Functional array fusion. In Xavier Leroy, editor, Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP'01), pages 205-216. ACM Press, 2001.
4. S. Chatterjee, Jan F. Prins, and M. Simons. Expressing irregular computations in modern Fortran dialects. In Fourth Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers, Lecture Notes in Computer Science. Springer Verlag, 1998.
5. James Cheney and Ralf Hinze. Poor man's dynamics and generics. In Manuel M. T. Chakravarty, editor, Proceedings of the ACM SIGPLAN 2002 Haskell Workshop, pages 90-104. ACM Press, 2002.
6. Dave Clarke and Andres Löh. Generic haskell, specifically. In Proceedings of the IFIP WG2.1 Working Conference on Generic Programming, 2002.
7. I. S. Duff, A. M. Erisman, and J. K. Reid. Direct Methods for Sparse Matrices. Oxford Science Publications, 1986.
8. Andrew J. Gill, John Launchbury, and Simon L. Peyton Jones. A short cut to deforestation. In Arvind, editor, Functional Programming and Computer Architecture, pages 223-232. ACM, 1993.
9. Robert Harper and Greg Morrisett. Compiling polymorphism using intensional type analysis. In 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 130-141. ACM Press, 1995.
10. Haskell core libraries (base package). http://haskell.org/ghc/docs/latest/html/base/index.html, 2002.
11. Ralf Hinze. Generalizing generalized tries. Journal of Functional Programming, 10(4):327-351, 2000.
12. Ralf Hinze, Johan Jeuring, and Andres Löh. Type-indexed datatypes. In Proceedings of the 6th Mathematics of Program Construction Conference. Springer-Verlag, 2002.
13. Ralf Hinze and Simon Peyton Jones. Derivable type classes. In Graham Hutton, editor, Proceedings of the 2000 ACM SIGPLAN Haskell Workshop, volume 41.1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001.
14. Mark Jones. Type classes with functional dependencies. In Proceedings of the 9th European Symposium on Programming (ESOP 2000), number 1782 in Lecture Notes in Computer Science. Springer-Verlag, 2000.
15. Simon Peyton Jones, Tony Hoare, and Andrew Tolmach. Playing by the rules: rewriting as a practical optimisation technique. In Proceedings of the ACM SIGPLAN 2001 Haskell Workshop, 2001.
16. Simon Peyton Jones and John Launchbury. State in Haskell. Lisp and Symbolic Computation, 8(4):293-341, 1995.
17. Jan Prins and Daniel Palmer. Transforming high-level data-parallel programs into vector operations. In Proceedings of the Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 119-128, San Diego, CA., May 19-22, 1993. ACM Press.
18. D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In SIGPLAN Conference on Programming Language Design and Implementation, 1996.
19. P. Wadler. Deforestation. In Proceedings of the European Symposium on Programming'88, number 300 in Lecture Notes in Computer Science, 1988.