bib.bib

@article{keller2010regular,
  title={Regular, Shape-polymorphic, Parallel Arrays in Haskell},
  author={Keller, Gabriele and Chakravarty, Manuel MT and Leshchinskiy, Roman and Peyton Jones, Simon and Lippmeier, Ben},
  journal={ACM Sigplan Notices},
  volume={45},
  number={9},
  pages={261--272},
  year={2010},
  publisher={ACM}
}

@inproceedings{lippmeier2011efficient,
  title={Efficient Parallel Stencil Convolution in Haskell},
  author={Lippmeier, Ben and Keller, Gabriele},
  booktitle={ACM SIGPLAN Notices},
  volume={46},
  number={12},
  pages={59--70},
  year={2011},
  organization={ACM}
}
@inproceedings{lippmeier2012guiding,
  title={Guiding Parallel Array Fusion with Indexed Types},
  author={Lippmeier, Ben and Chakravarty, Manuel and Keller, Gabriele and Peyton Jones, Simon},
  booktitle={Proceedings of the 2012 symposium on Haskell symposium},
  pages={25--36},
  year={2012},
  organization={ACM}
}

@inproceedings{claessen2012expressive,
  title={Expressive Array Constructs in an Embedded Gpu Kernel Programming Language},
  author={Claessen, Koen and Sheeran, Mary and Svensson, Bo Joel},
  booktitle={Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming},
  pages={21--30},
  year={2012},
  organization={ACM}
}

@inproceedings{mainland2010nikola,
  title={Nikola: Embedding Compiled GPU Functions in Haskell},
  author={Mainland, Geoffrey and Morrisett, Greg},
  booktitle={ACM Sigplan Notices},
  volume={45},
  number={11},
  pages={67--78},
  year={2010},
  organization={ACM}
}

@incollection{axelsson2011design,
  title={The Design and Implementation of Feldspar},
  author={Axelsson, Emil and Claessen, Koen and Sheeran, Mary and Svenningsson, Josef and Engdal, David and Persson, Anders},
  booktitle={Implementation and Application of Functional Languages},
  pages={121--136},
  year={2011},
  publisher={Springer}
}

@InProceedings{svenningsson12:DeepShallow,
  author = 	 {Josef Svenningsson and Emil Axelsson},
  title = 	 {Combining Deep and Shallow Embedding for EDSL},
  booktitle = {Trends in Functional Programming},
  year = 	 2012,
  series = 	 {LLNCS},
  publisher = {Springer}
}

@article{Bentley:1986:PPL:6424.315691,
 author = {Bentley, Jon},
 title = {Programming pearls: little languages},
 journal = {Commun. ACM},
 issue_date = {Aug. 1986},
 volume = {29},
 number = {8},
 month = aug,
 year = {1986},
 issn = {0001-0782},
 pages = {711--721},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/6424.315691},
 doi = {10.1145/6424.315691},
 acmid = {315691},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@Misc{synthesizer,
  author = 	 {Henning Thielemann},
  title = 	 {synthesizer},
  howpublished = {\url{http://www.haskell.org/haskellwiki/Synthesizer}}
}

@Misc{synthesizer-llvm,
  author = 	 {Henning Thielemann},
  title = 	 {synthesizer-llvm},
  howpublished = {\url{http://hackage.haskell.org/package/synthesizer-llvm}}
}

@Misc{criterion,
  author = 	 {Brian O'Sullivan},
  title = 	 {criterion},
  howpublished = {\url{http://hackage.haskell.org/package/criterion}}
}

@incollection{claessen1999observable,
  title={Observable Sharing for Functional Circuit Description},
  author={Claessen, Koen and Sands, David},
  booktitle={Advances in Computing Science—ASIAN’99},
  pages={62--73},
  year={1999},
  publisher={Springer}
}

@inproceedings{launchbury1994lazy,
  title={Lazy Functional State Threads},
  author={Launchbury, John and Peyton Jones, Simon L},
  booktitle={ACM SIGPLAN Notices},
  volume={29},
  number={6},
  pages={24--35},
  year={1994},
  organization={ACM}
}

@incollection{persson2012generic,
  title={Generic Monadic Constructs for Embedded Languages},
  author={Persson, Anders and Axelsson, Emil and Svenningsson, Josef},
  booktitle={Implementation and Application of Functional Languages},
  pages={85--99},
  year={2012},
  publisher={Springer}
}

@article{elliott2003compiling,
  title={Compiling Embedded Languages},
  author={Elliott, Conal and Finne, Sigbj\"orn and De Moor, Oege},
  journal={Journal of Functional Programming},
  volume={13},
  number={3},
  pages={455--481},
  year={2003},
  publisher={Cambridge University Press}
}
@Misc{nikola,
  title = 	 {nikola},
  author = 	 {Mainland, Geoffrey},
  howpublished = {\url{http://github.com/mainland/nikola}}
}

@inproceedings{reid1999prototyping,
  title={Prototyping Real-time Vision Systems: An Experiment in DSL Design},
  author={Reid, Alastair and Peterson, John and Hager, Greg and Hudak, Paul},
  booktitle={Proceedings of the 21st international conference on Software engineering},
  pages={484--493},
  year={1999},
  organization={ACM}
}

@article{hudak1997domain,
  title={Domain-specific Languages},
  author={Hudak, Paul},
  journal={Handbook of Programming Languages},
  volume={3},
  pages={39--60},
  year={1997}
}

@inproceedings{bjesse1998lava,
  title={Lava: Hardware Design in Haskell},
  author={Bjesse, Per and Claessen, Koen and Sheeran, Mary and Singh, Satnam},
  booktitle={ACM SIGPLAN Notices},
  volume={34},
  number={1},
  pages={174--184},
  year={1998},
  organization={ACM}
}

@incollection{svensson2011obsidian,
  title={Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors},
  author={Svensson, Joel and Sheeran, Mary and Claessen, Koen},
  booktitle={Implementation and Application of Functional Languages},
  pages={156--173},
  year={2011},
  publisher={Springer}
}

@inproceedings{jones2001playing,
  title={Playing By The Rules: Rewriting as a Practical Optimisation Technique in GHC},
  author={Jones, Simon Peyton and Tolmach, Andrew and Hoare, Tony},
  booktitle={Haskell Workshop},
  volume={1},
  pages={203--233},
  year={2001}
}

@inproceedings{orchard2010ypnos,
  title={Ypnos: Declarative, Parallel Structured Grid Programming},
  author={Orchard, Dominic A and Bolingbroke, Max and Mycroft, Alan},
  booktitle={Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming},
  pages={15--24},
  year={2010},
  organization={ACM}
}

@inproceedings{seefried2004optimising,
  title={Optimising Embedded DSLs Using Template Haskell},
  author={Seefried, Sean and Chakravarty, Manuel and Keller, Gabriele},
  booktitle={Generative Programming and Component Engineering},
  pages={186--205},
  year={2004},
  organization={Springer}
}