-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy paththesis.bib
328 lines (296 loc) · 11.6 KB
/
thesis.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
@phdthesis{malcolmfold,
author = {Grant Malcolm},
title = {Algebraic data types and program transformation},
school = {Department of Computing Science, Groningen University},
year = {1990}
}
@article{huttonfold,
author = "Graham Hutton",
title = "{A Tutorial on the Universality and Expressiveness of Fold}",
journal = "Journal of Functional Programming",
publisher = "Cambridge University Press",
volume = 9,
number = 4,
pages = "355--372",
month = jul,
year = 1999}
@INPROCEEDINGS{Sheard02templatemeta-programming,
author = {Tim Sheard and Simon Peyton Jones},
title = {Template Meta-programming for Haskell},
booktitle = {ACM SIGPLAN Haskell Workshop 02},
year = {2002},
pages = {1--16},
publisher = {ACM Press}
}
@INPROCEEDINGS{Lämmel03scrapyour,
author = {Ralf L{\"a}mmel and Simon Peyton Jones},
title = {Scrap your boilerplate: A practical approach to generic programming},
booktitle = {TLDI 2003: Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation},
year = {2003},
publisher = {ACM Press}
}
@INPROCEEDINGS{Lämmel05scrapyour,
author = {Ralf L{\"a}mmel and Simon Peyton Jones},
title = {Scrap your boilerplate with class: extensible generic functions},
booktitle = {Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP},
year = {2005},
publisher = {ACM Press}
}
@INPROCEEDINGS{Lämmel04scrapmore,
author = {Ralf L{\"a}mmel and Simon Peyton Jones},
title = {Scrap more boilerplate: reflection, zips, and generalised casts},
booktitle = {Proceedings; International Conference on Functional Programming (ICFP},
year = {2004},
publisher = {ACM Press}
}
@INPROCEEDINGS{Hinze06revolutions,
author = {Ralf Hinze and Andres L{\"o}h},
title = {``{S}crap your boilerplate'' revolutions},
booktitle = {Tarmo Uustalu, editor, Mathematics of Program Construction, 2006, volume 4014 of LNCS},
year = {2006},
pages = {180--208},
publisher = {Springer-Verlag}
}
@INPROCEEDINGS{Hinze06reloaded,
author = {Ralf Hinze and Andres L{\"o}h and Bruno C. d. S. Oliveira},
title = {``{S}crap your boilerplate'' reloaded},
booktitle = {},
year = {2006},
pages = {13--29},
publisher = {Springer}
}
@INPROCEEDINGS{Hinze04genericsfor,
author = {Ralf Hinze},
title = {Generics for the masses},
booktitle = {International Conference on Functional Programming},
year = {2004},
pages = {236--243},
publisher = {ACM Press}
}
@INPROCEEDINGS{Cheney02alightweight,
author = {James Cheney and Ralf Hinze},
title = {A Lightweight Implementation of Generics and Dynamics},
booktitle = {Proceedings of the 2002 ACM SIGPLAN Haskell Workshop},
year = {2002},
pages = {90--104},
publisher = {ACM Press}
}
@INPROCEEDINGS{Holdermans06genericviews,
author = {Stefan Holdermans and Johan Jeuring and Andres L{\"o}h and Alexey Rodriguez},
title = {Generic views on data types},
booktitle = {Tarmo Uustalu, editor, Proceedings 8th International Conference on Mathematics of Program Construction, MPC’06, volume 4014 of LNCS},
year = {2006},
pages = {209--234},
publisher = {Springer-Verlag}
}
@INPROCEEDINGS{Hinze00polytypicvalues,
author = {Ralf Hinze},
title = {Polytypic Values Possess Polykinded Types},
booktitle = {Science of Computer Programming},
year = {2000},
pages = {2--27},
publisher = {Springer-Verlag}
}
@inproceedings{genericrewriting,
author = {Noort, Thomas van and Rodriguez, Alexey and Holdermans, Stefan and Jeuring, Johan and Heeren, Bastiaan},
title = {A lightweight approach to datatype-generic rewriting},
booktitle = {WGP '08: Proceedings of the ACM SIGPLAN workshop on Generic programming},
year = {2008},
isbn = {978-1-60558-060-9},
pages = {13--24},
location = {Victoria, BC, Canada},
doi = {http://doi.acm.org/10.1145/1411318.1411321},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{dynamictyping,
author = {Baars, Arthur I. and Swierstra, S. Doaitse},
title = {Typing dynamic typing},
journal = {SIGPLAN Not.},
volume = {37},
number = {9},
year = {2002},
issn = {0362-1340},
pages = {157--166},
doi = {http://doi.acm.org/10.1145/583852.581494},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{polyp,
author = {Jansson, Patrik and Jeuring, Johan},
title = {Poly{P}---a polytypic programming language extension},
booktitle = {POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
year = {1997},
isbn = {0-89791-853-3},
pages = {470--482},
location = {Paris, France},
doi = {http://doi.acm.org/10.1145/263699.263763},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{emgm,
author = {Bruno C. D. S. Oliveira and
Ralf Hinze and
Andres L{\"o}h},
title = {Extensible and modular generics for the masses},
booktitle = {Trends in Functional Programming},
year = {2006},
pages = {199-216},
crossref = {DBLP:conf/sfp/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sfp/2006,
editor = {Henrik Nilsson},
title = {Revised Selected Papers from the Seventh Symposium on Trends
in Functional Programming, TFP 2006, Nottingham, United
Kingdom, 19-21 April 2006},
booktitle = {Trends in Functional Programming},
publisher = {Intellect},
series = {Trends in Functional Programming},
volume = {7},
year = {2007},
isbn = {978-1-84150-188-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{ indexedcontainers,
author = {Thorsten Altenkirch and Peter Morris},
title = {Indexed Containers},
journal ={Logic in Computer Science, Symposium on},
volume = {0},
year = {2009},
issn = {1043-6871},
pages = {277-285},
doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2009.33},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
@phdthesis{thesis_alexey,
author = {Alexey Rodriguez},
title = {Towards Getting Generic Programming Ready for Prime Time},
school = {Utrecht University},
year = 2009
}
@inproceedings{multirec,
author = {Alexey Rodriguez and Stefan Holdermans and Andres L\"oh and Johan Jeuring},
title = {Generic programming with fixed points for mutually recursive datatypes},
booktitle = {ICFP 2009: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming},
year = {2009},
pages = {233--244},
location = {Edinburgh, Scotland},
publisher = {ACM},
}
@TECHREPORT{multirec_tr,
author = {Alexey Rodriguez and Stefan Holdermans and Andres L\"oh and Johan Jeuring},
year = 2008,
title = {Generic programming with fixed points for mutually recursive datatypes},
number = {UU-CS-2008-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-019.pdf}},
pubcat = {techreport}
}
@techreport{benchmark,
Author = {Rodriguez, Alexey and Jeuring, Johan and Jansson, Patrik and Gerdes, Alex and Kiselyov, Oleg\
and Oliveira, Bruno C. d. S.},
Institution = {Utrecht University},
Number = {UU-CS-2008-010},
Title = {Comparing Libraries for Generic Programming in {H}askell},
Year = 2008
}
@unpublished{instantgenerics,
author = "Manuel M. T. Chakravarty and Gabriel C. Ditu and Roman Leshchinskiy",
title = "Instant Generics --- Fast and Easy",
note = "\url{http://www.cse.unsw.edu.au/~chak/papers/CDL09.html}",
year = "2009",
}
@MISC{web:regular,
author = "Thomas van Noort and Alexey Rodriguez and Stefan Holdermans and Johan Jeuring and Bastiaan Heeren",
title = "Regular --- Generic Programming Library for Regular Datatypes",
howpublished = "\url{http://hackage.haskell.org/package/regular}",
year = "2009",
}
@MISC{mysvn,
author = "Erik Hesselink",
title = "Multiparameter multirec source code repository",
howpublished = "\url{http://subversion.cs.uu.nl/repos/project.dgp-haskell.libraries/multirec/branches/Abstract}",
year = "2009",
}
@MISC{web:she,
author = "Conor McBride",
title = "The {S}trathclyde {H}askell Enhancement",
howpublished = "\url{http://personal.cis.strath.ac.uk/~conor/pub/she/}",
year = "2009",
}
@inproceedings{agdasummerschool
,booktitle = "6th International School on Advanced Functional
Programming"
,title = "Dependently Typed Programming in {A}gda"
,year = "2008"
,author = "Ulf Norell"
}
@inproceedings{DBLP:conf/icfp/BringertR06,
author = {Bj{\"o}rn Bringert and
Aarne Ranta},
title = {A pattern for almost compositional functions},
booktitle = {International Conference on Functional Programming},
year = {2006},
pages = {216-226},
ee = {http://doi.acm.org/10.1145/1159803.1159834},
crossref = {DBLP:conf/icfp/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icfp/2006,
editor = {John H. Reppy and
Julia L. Lawall},
title = {Proceedings of the 11th ACM SIGPLAN International Conference
on Functional Programming, ICFP 2006, Portland, Oregon,
USA, September 16-21, 2006},
booktitle = {ICFP},
publisher = {ACM},
year = {2006},
isbn = {1-59593-309-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Voorbeelden van bib-entries. Procent weg, dan is het een geldige entry.
%@inproceedings{uniplatepaper
,title = "Uniform Boilerplate and List Processing"
,author = "Neil Mitchell and Colin Runciman"
,year = "2007"
,month = "September"
,day = "30"
,booktitle = "Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop"
,pages = "49--60"
,location = "Freiburg, Germany"
,doi = "http://doi.acm.org/10.1145/1291201.1291208"
,publisher = "ACM"
,isbn = "978-1-59593-674-5"
,url = "\verb'http://www-users.cs.york.ac.uk/~ndm/downloads/paper-uniform_boilerplate_and_list_processing-30_sep_2007.pdf'"
}
%@book{haskell98report,
abstract = {{Haskell is the world's leading lazy functional programming language and is widely used in teaching, research, and applications. The language continues to develop rapidly, but in 1998 the programming community decided to capture a stable snapshot of the language by introducing Haskell 98. This book constitutes the agreed definition of Haskell 98, the language itself as well as its supporting libraries, and should be a standard reference work for anyone involved in research, teaching, or applications. All Haskell compilers support Haskell 98, so professioanls and educators have a stable base for their work.}},
author = {Jones, Simon P. },
citeulike-article-id = {1643124},
howpublished = {Hardcover},
isbn = {0521826144},
keywords = {haskell},
month = {May},
posted-at = {2007-09-11 03:11:57},
priority = {2},
publisher = {{Cambridge University Press}},
title = {Haskell 98 Language and Libraries: The Revised Report},
url = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20\&path=ASIN/0521826144},
year = {2003}
}
%@Article{sybpaper,
author = "Ralf L{\"a}mmel and Simon {Peyton Jones}",
title = "Scrap your boilerplate:
a practical design pattern for generic programming",
journal = "ACM SIG{\-}PLAN Notices",
publisher = "ACM Press",
volume = "38",
number = "3",
pages = "26--37",
month = mar,
year = "2003",
note = "Proceedings of the ACM SIGPLAN Workshop
on Types in Language Design and Implementation (TLDI~2003)"
}