3e64e11410bc1dd802dc09255e1ba7467d615d0e
[matthijs/master-project/report.git] / 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 }