-
Notifications
You must be signed in to change notification settings - Fork 0
/
refs.bib
171 lines (154 loc) · 5.65 KB
/
refs.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
@article{making-data-structures-persistent,
author = {Driscoll, James and Sarnak, Neil and Sleator, Daniel and Tarjan, Robert},
title = {Making Data Structures Persistent},
journal = {J. Comput. Syst. Sci.},
volume = {38},
number = {1},
pages = {86--124},
year = {1989},
doi = {10.1016/0022-0000(89)90034-2},
timestamp = {Wed, 14 Nov 2018 10:33:59 +0100},
biburl = {https://dblp.org/rec/bib/journals/jcss/DriscollSST89},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{fully-persistent-lists-with-catenation,
author = {Driscoll, James and Sleator, Daniel and Tarjan, Robert},
title = {Fully Persistent Lists with Catenation},
journal = {J. {ACM}},
volume = {41},
number = {5},
pages = {943--959},
year = {1994},
doi = {10.1145/185675.185791},
timestamp = {Tue, 06 Nov 2018 12:51:44 +0100},
biburl = {https://dblp.org/rec/bib/journals/jacm/DriscollST94},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{purely-functional-data-structures,
author = {Chris Okasaki},
title = {Purely Functional Data Structures},
publisher = {Cambridge University Press},
year = {1999},
isbn = {978-0-521-66350-2},
timestamp = {Wed, 20 Apr 2011 20:17:03 +0200},
biburl = {https://dblp.org/rec/bib/books/daglib/0097014},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{ideal-hash-trees,
title = {Ideal Hash Trees},
author = {Bagwell, Philip},
year = {2001},
school = {École Polytechnique Fédérale de Lausanne}
}
@article{efficient-immutable-vectors,
title = {RRB-Trees: Efficient Immutable Vectors},
author = {Bagwell, Philip and Rompf, Tiark},
year = {2011},
school = {École Polytechnique Fédérale de Lausanne}
}
@book{rust-book-2e,
author = {Klabnik, Steve and Nichols, Carol and others},
title = {The Rust Programming Language --- Second Edition},
year = 2018,
publisher = {No Starch Press},
url = {https://doc.rust-lang.org/book/second-edition/}
}
@inproceedings{the-clojure-programming-language,
author = {Rich Hickey},
title = {The Clojure programming language},
booktitle = {Proceedings of the 2008 Symposium on Dynamic Languages, {DLS} 2008,
July 8, 2008, Paphos, Cyprus},
pages = {1},
year = {2008},
crossref = {DBLP:conf/dls/2008},
doi = {10.1145/1408681.1408682},
timestamp = {Tue, 06 Nov 2018 16:57:15 +0100},
biburl = {https://dblp.org/rec/bib/conf/dls/Hickey08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@mastersthesis{improving-performance-through-transience,
title = {Improving RRB-Tree Performance through Transience},
author = {L'orange, Jean Niklas},
year = {2014},
school = {Norwegian University of Science and Technology}
}
@article{planar-point-location,
title = {Planar point location using persistent search trees},
author = {Sarnak, Neil and Tarjan, Robert Endre},
journal = {Communications of the ACM},
volume = {29},
number = {7},
pages = {669--679},
year = {1986},
publisher = {ACM}
}
@article{what-programmer-should-know-about-memory,
title = {What every programmer should know about memory},
author = {Drepper, Ulrich},
journal = {Red Hat, Inc},
volume = {11},
pages = {2007},
year = {2007}
}
@inproceedings{statistically-rigorous-java-performance-evaluation,
title = {Statistically rigorous Java performance evaluation},
author = {Georges, Andy and Buytaert, Dries and Eeckhout, Lieven},
booktitle = {ACM SIGPLAN Notices},
volume = {42},
number = {10},
year = {2007},
organization = {ACM}
}
@inproceedings{rrb-vector-practical-general-purpose-im-sequence,
title = {RRB vector: a practical general purpose immutable sequence},
author = {Stucki, Nicolas and Rompf, Tiark and Ureche, Vlad and Bagwell, Phil},
booktitle = {ACM SIGPLAN Notices},
volume = {50},
number = {9},
pages = {342--354},
year = {2015},
organization = {ACM}
}
@inproceedings{linear-types-can-change-the-world,
title = {Linear types can change the world!},
author = {Wadler, Philip},
booktitle = {Programming concepts and methods},
volume = {3},
number = {4},
year = {1990}
}
@article{history-of-fork-join,
author = {Nyman, Linus and Laakso, Mikael},
journal = {IEEE Annals of the History of Computing},
title = {Anecdotes: Notes on the History of Fork and Join},
year = {2016},
volume = {38},
number = {3},
pages = {84-87},
journal = {IEEE Annals of the History of Computing},
doi = {10.1353/ahc.2016.0036}
}
@online{cilk,
author = {The Cilk Project Developers},
title = {The Cilk Project},
url = {http://supertech.csail.mit.edu/cilk/},
urldate = {13-04-2020},
}
@article{reed-patina,
title = {Patina: A formalization of the Rust programming language},
author = {Reed, Eric},
journal = {University of Washington, Department of Computer Science and Engineering, Tech. Rep. UW-CSE-15-03-02},
year = {2015}
}
@mastersthesis{linus-parallelization,
title = {Parallelization in Rust with fork-join and friends: Creating the fork-join framework},
author = {F{\"a}rnstrand, Linus},
year = {2015},
school = {Chalmers University of Technology}
}
@InProceedings{schaerli-ducasse-nierstrasz-traits,
author = {Sch{\"a}rli, Nathanael and Ducasse, Stéphane and Nierstrasz, Oscar and Black, Andrew},
title = "Traits: Composable Units of Behavior",
crossref = "oop-luca-cardelli-2003",
pages = "248-274"
}