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 }
  95
  96 @phdthesis{sheeran83,
  97         author = {Mary Sheeran},
  98         title = {µFP, an algebraic VLSI design language},
  99         year = {1983},
 100         school = {Programming Research Group, Oxford University},
 101 }
 102
 103 @inproceedings{jones90,
 104     address = {Lyngby, Denmark},
 105     author = {Jones, G. and Sheeran, M.},
 106     booktitle = {Formal Methods for VLSI Design},
 107     journal = {Circuit Design in Ruby},
 108     publisher = {Elsevier Science Publishers},
 109     title = {Circuit Design in Ruby},
 110     year = {1990}
 111 }
 112
 113
 114 @phdthesis{claessen00,
 115   title       = {An Embedded Language Approach to Hardware Description and Verification},
 116   author      = {Koen Claessen},
 117   year        = {2000},
 118   school      = {Dept. of Computer Science and Engineering, Chalmers University of Technology.},
 119 }
 120
 121 @inproceedings{sander04,
 122     author = {Sander, I. and Jantsch, A.},
 123     title = {System Modeling and Design Refinement in ForSyDe},
 124         journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
 125     institution = {},
 126     year = {2004},
 127         volume = {23},
 128         number = {1},
 129         pages = {17--32},
 130         issn = {0278-0070},
 131 }
 132
 133 @mastersthesis{baaij09,
 134         author = {Christiaan Baaij},
 135         title = {CλasH: From Haskell to Hardware},
 136         year = {2009},
 137         school = {Twente University},
 138 }
 139
 140 @article{reynolds98,
 141  author = {Reynolds, John C.},
 142  title = {Definitional Interpreters for Higher-Order Programming Languages},
 143  journal = {Higher Order Symbol. Comput.},
 144  volume = {11},
 145  number = {4},
 146  year = {1998},
 147  issn = {1388-3690},
 148  pages = {363--397},
 149  doi = {http://dx.doi.org/10.1023/A:1010027404223},
 150  publisher = {Kluwer Academic Publishers},
 151  address = {Hingham, MA, USA},
 152 }