Add generated VHDL to the hardware description chapter.
[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 }
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 }
153
154 @inproceedings{mitchell09,
155  author = {Mitchell, Neil and Runciman, Colin},
156  title = {Losing functions without gaining data: another look at defunctionalisation},
157  booktitle = {Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell},
158  year = {2009},
159  isbn = {978-1-60558-508-6},
160  pages = {13--24},
161  location = {Edinburgh, Scotland},
162  doi = {http://doi.acm.org/10.1145/1596638.1596641},
163  publisher = {ACM},
164  address = {New York, NY, USA},
165 }