@inproceedings{chak-etal:at-syns, author = {Manuel M. T. Chakravarty and Gabriele Keller and Simon {Peyton Jones}}, title = {Associated Type Synonyms}, booktitle = {ICFP '05: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming}, year = {2005}, isbn = {1-59593-064-7}, pages = {241--253}, location = {Tallinn, Estonia}, doi = {http://doi.acm.org/10.1145/1086365.1086397}, publisher = {ACM Press}, address = {New York, NY, USA}, } @inproceedings{coutts-etal:stream-fusion, author = {Duncan Coutts and Roman Leshchinskiy and Don Stewart}, title = {Stream Fusion: From Lists to Streams to Nothing at All}, booktitle = {Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP 2007)}, year = 2007, publisher = {ACM Press} } @inproceedings{chak-etal:ATs, author = {Manuel M. T. Chakravarty and Gabriele Keller and Simon {Peyton Jones} and Simon Marlow}, title = {Associated Types with Class}, booktitle = {POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, year = {2005}, isbn = {1-58113-830-X}, pages = {1--13}, location = {Long Beach, California, USA}, doi = {http://doi.acm.org/10.1145/1040305.1040306}, publisher = {ACM Press}, } @InProceedings{chak-etal:DPH, author = {Manuel M. T. Chakravarty and Roman Leshchinskiy and Simon {Peyton Jones} and Gabriele Keller and Simon Marlow}, title = {{D}ata {P}arallel {H}askell: a status report}, booktitle = {{DAMP} 2007: Workshop on Declarative Aspects of Multicore Programming}, year = 2007, publisher = {ACM Press} } @InProceedings{peyton-jones-etal:harnessing-multicores, author = {Simon {Peyton Jones} and Roman Leshchinskiy and Gabriele Keller and Manuel M. T. Chakravarty}, title = {Harnessing the Multicores: Nested Data Parallelism in {Haskell}}, booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008)}, year = {2008}, editor = {Ramesh Hariharan and Madhavan Mukund and V Vinay}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2008/1769}} @inproceedings { peyton-jones:constructor-specialisation , author = {Simon {Peyton Jones}} , title = {Call-pattern Specialisation for {Haskell} Programs} , booktitle = {Proceedings of the International Conference on Functional Programming (ICFP 2007)} , year = {1997} , pages = {327 -337} , location = {Freiburg, Germany}} @inproceedings { launchbury:lazy-functional-state-threads , author = {John Launchbury and Peyton Jones, Simon} , title = {Lazy functional state threads} , booktitle = {Proceedings of Programming Language Design and Implementation (PLDI 1994)} , year = {1994} , pages = {24--35} , publisher = {ACM} , location = {Orlando, Florida, United States} , address = {New York, NY, USA} } @techreport { leroy:ocaml-3.11 , title = {The {O}bjective {C}aml system, release 3.11, Documentation and user's manual.} , author = {Xavier Leroy and Damien Doligez and Jacques Garrigue and Didier R\'{e}my and J\'{e}r\^ome Vouillon} , institution = {INRIA} , year = {2008} } @book { mathews:numerical-methods , title = {Numerical Methods using MATLAB, 3rd edition} , author = {John Mathews and Kurtis Fink} , year = {1999} , publisher = {Prentice Hall} } @article{scholz:SaC, author = {Sven-Bodo Scholz}, title = {Single Assignment {C} -- Efficient Support for High-level Array Operations in a Functional Setting}, journal = {Journal of Functional Programming}, year = 2003, volume = 13, number = 6, pages = {1005--1059} } @InProceedings{groningen:clean-arrays, author = {Groningen, John H.G. van}, title = {The Implementation and Efficiency of Arrays in {Clean} 1.1}, booktitle = {Proceedings of Implementation of Functional Languages, 8th International Workshop, IFL '96, Selected Papers}, pages = {105--124}, year = 1997, editor = {W. Kluge}, number = 1268, series = {LNCS}, publisher = {Springer-Verlag} } @inproceedings{coutts-etal:rewriting-haskell-strings, author = {Duncan Coutts and Don Stewart and Roman Leshchinskiy}, title = {Rewriting {Haskell} Strings}, booktitle = {Practical Aspects of Declarative Languages 8th International Symposium, PADL 2007}, year = 2007, month = jan, pages = {50--64}, publisher = {Springer-Verlag}, } @book{rabhi-gorlatch:pattyerns-skeletons, editor = {Fethi A. Rabhi and Sergei Gorlatch}, title = {Patterns and Skeletons for Parallel and Distributed Computing}, publisher = "Springer-Verlag", year = 2003 } @InProceedings{schrijivers-etal:tc-tyfuns, author = {Tom Schrijvers and Simon Peyton-Jones and Manuel M. T. Chakravarty and Martin Sulzmann}, title = {Type Checking with Open Type Functions}, booktitle = {Proceedings of ICFP 2008 : The 13th ACM SIGPLAN International Conference on Functional Programming}, pages = {51--62}, year = 2008, publisher = {ACM Press}} @article{xi:dml, author = "Hongwei Xi", title = {{Dependent ML: an approach to practical programming with dependent types}}, journal = "Journal of Functional Programming", year = 2007, volume = "17", number = "2", pages = "215-286" } @inproceedings{swierstra-altenkirch:dep-types-for-distr-arrays, Author = {Wouter Swierstra and Thorsten Altenkirch}, Booktitle = {Trends in Functional Programming}, Title = {Dependent Types for Distributed Arrays}, Volume = {9}, Year = {2008}} @article{69562, author = {Arvind, and Nikhil, Rishiyur S. and Pingali, Keshav K.}, title = {I-structures: data structures for parallel computing}, journal = {ACM Trans. Program. Lang. Syst.}, volume = {11}, number = {4}, year = {1989}, issn = {0164-0925}, pages = {598--632}, doi = {http://doi.acm.org/10.1145/69558.69562}, publisher = {ACM}, address = {New York, NY, USA}, } @masterthesis{LLVMbackend, author={David Anthony Terei}, title={{Low Level Virtual Machine} for the {Glasgow Haskell Compiler}}, school={University of New South Wales}, year={2009}} @InProceedings{LLVM:CGO04, author = {Chris Lattner and Vikram Adve}, title = "{LLVM: A Compilation Framework for Lifelong Program Analysis \& Transformation}", booktitle = "{Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO'04)}", address = {Palo Alto, California}, month = {Mar}, year = {2004} } @inproceedings{veldhuizen:blitz, author = {Todd L. Veldhuizen}, title = {Arrays in {Blitz}{+}{+}}, booktitle = {Proceedings of the 2nd International Scientific Computing in Object Oriented Parallel Environments (ISCOPE'98)}, year = {1998}, isbn = {978-3-540-65387-5}, publisher = {Springer-Verlag} } @misc{boost:multiarray, title = {The {B}oost {M}ultidimensional {A}rray {L}ibrary}, month = {April}, year = {2010}, url = {http://www.boost.org/doc/libs/1_42_0/libs/multi_array/doc/user.html} } @book{iso:apl, author = {{The International Standards Organisation}}, title = {Programming Language APL}, publisher = {ISO standard 8485}, year = {1989} } @book{amos:matlab, author = {Amos Gilat}, title = {{MATLAB}: An Introduction with Applications 2nd Edition}, publisher = {John Wiley \& Sons}, year = {2004}, isbn = {978-0-471-69420-5} } @book{burke:j, author = {C. Burke}, title = {{J} and {APL}}, publisher = {Iverson Software Inc.}, year = {1996} } @inproceedings{lee-etal:gpu, author = {Sean Lee and Manuel M. T. Chakravarty and Vinod Grover and Gabriele Keller}, title = {{GPU} Kernels as Data-Parallel Array Computations in Haskell}, booktitle = {EPAHM 2009: Workshop on Exploiting Parallelism using GPUs and other Hardware-Assisted Methods}, year = {2009} } @misc{openmp:spec, author = {{The OpenMP Architecture Review Board}}, title = {{OpenMP Application Program Interface}}, year = {2008}, url = {http://www.openmp.org/specs} } @Article{frigo-johnson:fftw, author = {Matteo Frigo and Steven G. Johnson}, title = {The Design and Implementation of {FFTW3}}, journal = {Proceedings of the IEEE}, year = 2005, volume = 93, number = 2, pages = {216--231}, note = {Special issue on ``Program Generation, Optimization, and Platform Adaptation''} }