@Book{blelloch:diss,
  author = 	 "Guy E. Blelloch",
  title = 	 "Vector Models for Data-Parallel Computing",
  publisher = 	 "The MIT Press",
  year = 	 1990
}

@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}
}

@Article{blelloch-sabot:compiling-collection,
  author = 	 {Guy E. Blelloch and Gary W. Sabot},
  title = 	 {Compiling Collection-Oriented Languages onto
                  Massively Parallel Computers},
  journal = 	 {Journal of Parallel and Distributed Computing},
  year = 	 1990,
  volume =	 8,
  pages =	 {119--134}
}

@inproceedings{svenningsson:unfoldr,
  title = "Shortcut fusion for accumulating parameters and zip-like functions",
  author = "Josef Svenningsson",
  booktitle = "Proc ACM International Conference on Functional Programming",
  year = 2002,
  address = "Pittsburgh",
  pages = "124-132",
  keywords = "dual to foldr/build, zip"
}

@InProceedings{fluet-etal:manticore,
  author = 	 {Matthew Fluet and Mike Rainey and John Reppy and Adam Shaw 
		  and Yingqi Xiao},
  title = 	 {Manticore: A heterogeneous parallel language},
  booktitle = 	 {Proceedings of the Workshop on Declarative Aspects of 
		  Multicore Programming (DAMP 2007)},
  year =	 2007,
  publisher =	 {ACM Press}
}

@inproceedings{lewis-etal:array-fusion,
  title = "The implementation and evaluation of fusion and contraction in array languages",
  author = "E Christopher Lewis and Calvin Lin and Lawrence Snyder",
  booktitle = "Proc ACM Conference on Programming Language Design and Implementation",
  year = 1998,
  pages = "50-59",
}

@article{blelloch-etal:impl-nested-parallel,
        author = "Guy~E. Blelloch and Siddhartha Chatterjee and 
		Jonathan~C. Hardwick and Jay Sipelstein and Marco Zagha",
        title = "Implementation of a Portable Nested Data-Parallel Language",
       	journal = "Journal of Parallel and Distributed Computing",
	volume = 21,
	number = 1,
        pages = "4--14",
	month = apr,
	year = 1994}

@Article{blelloch:ppa,
  author = 	 "Guy E. Blelloch",
  title = 	 "Programming Parallel Algorithms",
  journal =	 "Communications of the ACM",
  year =	 1996,
  volume =	 "39",
  number =	 "3",
  pages =	 "85--97"
}

@InProceedings{chak-keller:more-types,
  author = 	 {Manuel M. T. Chakravarty and Gabriele Keller},
  title = 	 {More Types for Nested Data Parallel Programming},
  editor =	 {Philip Wadler},
  booktitle = 	 {Proceedings of the Fifth ACM SIGPLAN International 
		 Conference on Functional Programming (ICFP'00)},
  year =	 2000,
  publisher =	 {ACM Press},
  pages =        {94--105}
}

@InProceedings{leshchinskiy-etal:ho-flattening,
  author = 	 {Roman Leshchinskiy and Manuel M. T. Chakravarty and Gabriele
		  Keller},
  title = 	 {Higher Order Flattening},
  booktitle = 	 {Third International Workshop on Practical Aspects of 
		   High-level Parallel Programming (PAPP 2006)},
  year =	 2006,
  number =	 3992,
  series =	 {LNCS},
  publisher =	 {Springer-Verlag}
}

@InProceedings{chak-keller:array-fusion,
  author = 	 {Manuel M. T. Chakravarty and Gabriele Keller},
  title = 	 {Functional Array Fusion},
  booktitle = 	 {Proceedings of the Sixth ACM SIGPLAN International 
		 Conference on Functional Programming (ICFP'01)},
  year =	 2001,
  pages =        {205--216},
  editor =	 {Xavier Leroy},
  publisher =	 {ACM Press}
}

@inproceedings{sulzmann-etal:fc,
  author = 	 {Martin Sulzmann and Manuel M. T. Chakravarty and 
		  Simon Peyton Jones and Kevin Donnelly},
  title = 	 {{System F} with Type Equality Coercions},
  booktitle = "Proc ACM SIGPLAN Workshop on Types in Language Design and Implementation",
  year = 	 2007,
  month = jan,
  address = "Nice, France",
  publisher = "ACM"
}

@InProceedings{keller-chak:dtypes,
  author = 	 {Gabriele Keller and Manuel M. T. Chakravarty},
  title = 	 {On the Distributed Implementation of Aggregate Data 
		 Structures by Program Transformation},
  booktitle = 	 {Parallel and Distributed Processing, Fourth International
		 Workshop on High-Level Parallel Programming Models and 
		 Supportive Environments (HIPS'99)},
  pages =	 {108--122},
  year =	 1999,
  editor =	 {Jos\'e Rolim and others},
  number =	 1586,
  series =	 {LNCS},
  address =	 {Berlin, Germany},
  publisher =	 {Springer-Verlag}
}

@Misc{wiki:indexed-types,
  author =	 {Manuel M.T. Chakravarty and Simon Peyton Jones and Martin 
		  Sulzmann},
  title =	 {GHC/Indexed types},
  howpublished = {\url{http://haskell.org/haskellwiki/GHC/Indexed_types}},
  year =	 2006
}

@InProceedings{peyton-jones-etal:rules,
  author = 	 {Simon {Peyton Jones} and Tony Hoare and Andrew Tolmach},
  title = 	 {Playing by the rules: rewriting as a practical optimisation
		 technique},
  booktitle =    {Proceedings of the ACM SIGPLAN 2001 Haskell Workshop},
  year =	 2001,
}

@InProceedings{coutts-etal:rewriting-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,
  series =	 {LNCS},
  publisher =	 {Springer-Verlag}
}

@InProceedings{so-etal:dp-many-core,
  author = 	 {Byoungro So and Anwar Ghuloum and Youfeng Wu},
  title = 	 {Optimizing Data Parallel Operations on Many-Core Platforms},
  booktitle = 	 {First Workshop on Software Tools for Multi-Core Systems 
		  (STMCS)},
  year =	 2006,
  note =	 {\url{http://www.isi.edu/~kintali/stmcs06/prog.html}}
}

@inproceedings {palmer-etal:efficient-trafo,
        author = {Daniel Palmer and Jan Prins and Stephan Westfold},
        title = {Work-Efficient Nested Data-Parallelism},
        booktitle = {Proceedings of the Fifth Symposium on the
                Frontiers of Massively Parallel Processing (Frontiers 95)},
        publisher = {IEEE Press},

        year = 1995
}

@Article{wadler:deforestation,
  author = "Philip Wadler",
  title  = "Deforestation: Transforming Programs to Eliminate Trees",
  pages = "231--248",
  journal = "Theoretical Computer Science",
  publisher = "Elsevier Science",
  volume = 73,
  year = 1990
} 

@InProceedings{wolf-lam:loop-transformations,
  author = 	 {M. Wolf and M. Lam},
  title = 	 {An Algorithmic Approach to Compound Loop Transformations},
  booktitle = 	 {Advances in Languages and Compilers for Parallel Computing},
  pages =	 {243--259},
  year =	 1991,
  editor =	 {A. Nicolau, D. Gelernter, T. Gross and D. Padua},
  publisher =	 {The MIT Press}
}

@InProceedings{roth-kennedy:loop-fusion-hpf,
  author = 	 {Gerald Roth and Ken Kennedy},
  title = 	 {Loop Fusion in {H}igh {P}erformance {F}ortran},
  booktitle = 	 {Conference Proceedings of the 1998 International
		 Conference on Supercomputing},
  pages =	 {125--132},
  year =	 1998,
  publisher =	 {ACM Press}
}

@InProceedings{manjikian:loop-fusion-prefetching,
  author = 	 {Naraig Manjikian},
  title = 	 {Combining Loop Fusion with Prefetching on Shared-memory
		 Multiprocessors},
  booktitle = 	 {Proceedings of the 1997 International Conference on Parallel
		 Processing (ICPP '97)},
  year =	 1997,
  publisher =	 {IEEE Computer Society Press}
}

@InProceedings{kennedy-mckinley:loop-fusion-distribution,
    author = "Ken Kennedy and Kathryn S. McKinley",
    title = "Maximizing Loop Parallelism and Improving Data Locality via Loop 
	    Fusion and Distribution",
    booktitle = "1993 Workshop on Languages and Compilers for Parallel 
	        Computing",
    number = "768",
    publisher = "Springer Verlag",
    pages = "301--320",
    year = "1993",
}

@InProceedings{keller-chak:tflat,
  author = 	 {Gabriele Keller and Manuel M. T. Chakravarty},
  title = 	 {Flattening Trees},
  booktitle = 	 {Euro-Par'98, Parallel Processing},
  pages =	 {709--719},
  year =	 1998,
  editor =	 {David Pritchard and Jeff Reeve},
  number =	 {1470},
  series =	 {Lecture Notes in Computer Science},
  address =	 {Berlin},
  publisher =	 {Springer-Verlag}
}

@InProceedings{schrijvers-etal:type-functions,
  author = 	 {Tom Schrijvers and Martin Sulzmann and Simon Peyton-Jones and
  	 	  Manuel M. T. Chakravarty.},
  title = 	 {Towards Open Type Functions for Haskell},
  booktitle = {19th International Symposium on Implementation and 
  	       	  Application of Functional Languages},
  note = 	 {\url{http://www.cse.unsw.edu.au/~chak/papers/SSPC07.html}},
  year = 2007
}

@InProceedings{hinze-etal:tidata,
  author = 	 {Ralf Hinze and Johan Jeuring and Andres L{\"o}h},
  title = 	 {Type-indexed Data Types},
  booktitle = 	 {Proceedings of the Sixth International Conference on 
		  Mathematics of Program Construction (MPC 2002)},
  pages =	 {148--174},
  year =	 2002,
  editor =	 {Eerke Boiten and Bernhard M{\o}ller},
  number =	 2386,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag}
}

@Article{barnes-hut:nbody,
  author = 	 {J. Barnes and P. Hut},
  title = 	 {A Hierarchical {$O(n \log n)$} Force Calculation Algorithm},
  journal = 	 {Nature},
  year = 	 1986,
  volume =	 324,
  month =	 {December}
}

@InProceedings{chak-etal:haskell-ndp,
  author = 	 {Manuel M. T. Chakravarty and Gabriele Keller and 
		  Roman Lechtchinsky and W. Pfannenstiel},
  title = 	 {Nepal---Nested Data Parallelism in {Haskell}},
  booktitle = 	 {Euro-Par 2001: Parallel Processing, 7th International 
		  Euro-Par Conference},
  pages =	 {524--534},
  year =	 2001,
  series =       {Lecture Notes in Computer Science},
  number =       2150,
  editor =	 {Rizos Sakellariou and John Keane and John R. Gurd and 
		  Len Freeman},
  address =	 {Berlin, Germany},
  publisher =	 {Springer-Verlag}
}

@InProceedings{chak-keller:afp-arrays,
  author = 	 {Manuel M. T. Chakravarty and Gabriele Keller},
  title = 	 {An Approach to Fast Arrays in Haskell},
  booktitle = 	 {Lecture notes for The Summer School and Workshop on Advanced Functional Programming 2002},
  year =	 2003,
  editor =	 {Johan Jeuring and Simon Peyton Jones},
  number =	 2638,
  series =	 {Lecture Notes in Computer Science}
}

@InProceedings{mills-etal:proteus,
  author = 	 {P. Mills and L. Nyland and J. Prins and J. Reif},
  title = 	 {Software Issues in High-Performance Computing and a Framework
  		  for the Development of HPC Applications},
  booktitle = {Computer Science Agendas for High Perfromance Computing},
  year = 	 1994,
  publisher = {ACM Press}}

@InProceedings{fluet-etal:manticore-status,
  author = 	 {M. Fluet and N. Ford and M. Rainey and J. Reppy and 
  	 	  A. Shaw and Y. Xiao},
  title = 	 {Status Report: The Manticore project},
  booktitle = {2007 ACM SIGPLAN Workshop on ML},
  year = 	 2007,
  publisher = {ACM Press}}

@Article{peyton-jones-santos:trafo-optim,
  author = 	 {S. {Peyton Jones} and A. Santos},
  title = 	 {A transformation-based optimiser for {Haskell}},
  journal = 	 {Science of Computer Programming},
  year = 	 1998,
  volume = 	 32,
  number = 	 {1--3},
  pages = 	 {3--47}}

@PhdThesis{leshchinskiy:diss,
  author = 	 {Roman Leshchinskiy},
  title = 	 {Higher-Order Nested Data Parallelism: Semantics and 
		  Implementation},
  school = 	 {Technische Universit\"at Berlin},
  year = 	 2005
}

@InProceedings{chatterjee-etal:irr-fortran,
    author = "S. Chatterjee and Jan F. Prins and M. Simons",
    title  = "Expressing Irregular Computations in Modern {Fortran} Dialects",
    booktitle = "Fourth Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers", 
    publisher = {Springer Verlag},
    series    = {Lecture Notes in Computer Science},
    year      = 1998
}

@Misc{ghc:type-families,
  author = 	 {{GHC Team}},
  title = 	 {Type families},
  howpublished = {\url{http://haskell.org/haskellwiki/GHC/Type_families}},
  year = 	 2007}