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