2 author = {Hudak, Paul},
3 title = {Building domain-specific embedded languages},
4 journal = {ACM Comput. Surv.},
7 doi = {http://doi.acm.org/10.1145/242224.242477},
9 address = {New York, NY, USA},
13 author = {van Deursen, Arie and Klint, Paul and Visser, Joost},
14 title = {Domain-specific languages: an annotated bibliography},
15 journal = {SIGPLAN Not.},
21 doi = {http://doi.acm.org/10.1145/352029.352035},
23 address = {New York, NY, USA},
26 @inproceedings{gill09,
28 title = {Type-Safe Observable Sharing in {H}askell},
29 booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} {H}askell Symposium},
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.}
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},
40 isbn = {0-89791-310-8},
42 location = {Las Vegas, Nevada, United States},
43 doi = {http://doi.acm.org/10.1145/74382.74534},
45 address = {New York, NY, USA},
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},
54 doi = {10.1007/3-540-61055-3_27},
55 url = {http://www.springerlink.com/content/yjnv70x758167327},
56 isbn = {978-3-540-61055-7},
58 location={Berlin / Heidelberg},
62 author = {John Hughes},
63 title = {Generalising Monads to Arrows},
64 journal = {Science of Computer Programming},
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},
75 isbn = {1-58113-415-0},
77 location = {Florence, Italy},
78 doi = {http://doi.acm.org/10.1145/507635.507664},
80 address = {New York, NY, USA},
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},
88 isbn = {1-59593-393-X},
90 location = {Nice, Nice, France},
91 doi = {http://doi.acm.org/10.1145/1190315.1190324},
93 address = {New York, NY, USA},