Report.bib

   1 @article{hudak96,
   2  author = {Hudak, Paul},
   3  title = {Building domain-specific embedded languages},
   4  journal = {ACM Comput. Surv.},
   5  issn = {0360-0300},
   6  pages = {196},
   7  doi = {http://doi.acm.org/10.1145/242224.242477},
   8  publisher = {ACM},
   9  address = {New York, NY, USA},
  10 }
  11
  12 @article{deursen00,
  13  author = {van Deursen, Arie and Klint, Paul and Visser, Joost},
  14  title = {Domain-specific languages: an annotated bibliography},
  15  journal = {SIGPLAN Not.},
  16  volume = {35},
  17  number = {6},
  18  year = {2000},
  19  issn = {0362-1340},
  20  pages = {26--36},
  21  doi = {http://doi.acm.org/10.1145/352029.352035},
  22  publisher = {ACM},
  23  address = {New York, NY, USA},
  24 }
  25
  26 @inproceedings{gill09,
  27   author = {Andy Gill},
  28   title = {Type-Safe Observable Sharing in {H}askell},
  29   booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} {H}askell Symposium},
  30   year = {2009},
  31   month = {Sep},
  32   abstract = {Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-called deep DSLs to be compiled and processed. In this paper, we describe and explore uses of an IO function for reification which allows direct observation of sharing.}
  33 }
  34
  35 @inproceedings{li89,
  36  author = {Li, W. and Switzer, H.},
  37  title = {A unified data exchnage environment based on EDIF},
  38  booktitle = {DAC '89: Proceedings of the 26th ACM/IEEE Design Automation Conference},
  39  year = {1989},
  40  isbn = {0-89791-310-8},
  41  pages = {803--806},
  42  location = {Las Vegas, Nevada, United States},
  43  doi = {http://doi.acm.org/10.1145/74382.74534},
  44  publisher = {ACM},
  45  address = {New York, NY, USA},
  46 }
  47
  48 @inproceedings{jones96,
  49     author = {Simon L Peyton Jones},
  50     booktitle = {Programming Languages and Systems — ESOP '96},
  51     title = {Compiling Haskell by program transformation: A report from the trenches},
  52         pages = {18--44},
  53     year = {1996},
  54     doi = {10.1007/3-540-61055-3_27},
  55     url = {http://www.springerlink.com/content/yjnv70x758167327},
  56         isbn = {978-3-540-61055-7},
  57         publisher={Springer},
  58         location={Berlin / Heidelberg},
  59 }
  60
  61 @article{hughes98,
  62     author = {John Hughes},
  63     title = {Generalising Monads to Arrows},
  64     journal = {Science of Computer Programming},
  65     year = {1998},
  66     volume = {37},
  67     pages = {67--111},
  68 }
  69
  70 @inproceedings{paterson01,
  71  author = {Paterson, Ross},
  72  title = {A new notation for arrows},
  73  booktitle = {ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming},
  74  year = {2001},
  75  isbn = {1-58113-415-0},
  76  pages = {229--240},
  77  location = {Florence, Italy},
  78  doi = {http://doi.acm.org/10.1145/507635.507664},
  79  publisher = {ACM},
  80  address = {New York, NY, USA},
  81 }
  82
  83 @inproceedings{sulzmann07,
  84  author = {Sulzmann, Martin and Chakravarty, Manuel M. T. and Jones, Simon Peyton and Donnelly, Kevin},
  85  title = {System F with type equality coercions},
  86  booktitle = {TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation},
  87  year = {2007},
  88  isbn = {1-59593-393-X},
  89  pages = {53--66},
  90  location = {Nice, Nice, France},
  91  doi = {http://doi.acm.org/10.1145/1190315.1190324},
  92  publisher = {ACM},
  93  address = {New York, NY, USA},
  94 }