forked from swiftlang/swift
-
Notifications
You must be signed in to change notification settings - Fork 30
/
Copy pathgenerics.bib
308 lines (305 loc) · 12.5 KB
/
generics.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
@misc{llvmtalk,
author = "John McCall and Slava Pestov",
title = "Implementing {S}wift generics",
url = "https://www.youtube.com/watch?v=ctS8FzqcRug",
year = {2017}
}
@misc{sr617,
title = "{SR-617}: \texttt{Self} not always resolved dynamically with Generics",
url = "https://github.com/apple/swift/issues/43234",
year = {2016}
}
@misc{sr631,
title = "{SR-631}: Extensions in different files do not recognize each other",
url = "https://github.com/apple/swift/issues/43248",
year = {2016}
}
@misc{sr4206,
title = "{SR-4206}: Override checking does not properly enforce requirements",
url = "https://github.com/apple/swift/issues/46789",
year = {2017}
}
@misc{se0011,
author = "Loïc Lecrenier",
title = "{SE-0011}: Replace \texttt{typealias} keyword with \texttt{associatedtype} for associated type declarations",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0011-replace-typealias-associated.md",
year = {2015}
}
@misc{se0021,
author = "Doug Gregor",
title = "{SE-0021}: Naming Functions with Argument Labels",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0021-generalized-naming.md",
year = {2016}
}
@misc{se0029,
author = "Chris Lattner",
title = "{SE-0029}: Remove implicit tuple splat behavior from function applications",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0029-remove-implicit-tuple-splat.md",
year = {2016}
}
@misc{se0048,
author = "Chris Lattner",
title = "{SE-0048}: Generic type aliases",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0048-generic-typealias.md",
year = {2016}
}
@misc{se0066,
author = "Chris Lattner",
title = "{SE-0066}: Standardize function type argument syntax to require parentheses",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0066-standardize-function-type-syntax.md",
year = {2016}
}
@misc{se0077,
author = "Anton Zhilin",
title = "{SE-0077}: Improved operator declarations",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0077-operator-precedence.md",
year = {2016}
}
@misc{se0091,
author = "Tony Allevato and Doug Gregor",
title = "{SE-0091}: Improving operator requirements in protocols",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0091-improving-operators-in-protocols.md",
year = {2016}
}
@misc{se0110,
author = "Vladimir S. and Austin Zheng",
title = "{SE-0110}: Distinguish between single-tuple and multiple-argument function types",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0110-distinguish-single-tuple-arg.md",
year = {2016}
}
@misc{se0111,
author = "Austin Zheng",
title = "{SE-0111}: Remove type system significance of function argument labels",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0111-remove-arg-label-type-significance.md",
year = {2016}
}
@misc{se0068,
author = "Erica Sadun",
title = "{SE-0068}: Expanding Swift \texttt{Self} to class members and value types",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0068-universal-self.md",
year = {2016}
}
@misc{se0081,
author = "David Hart and Robert Widman and Pyry Jahkola",
title = "{SE-0081}: Move \texttt{where} clause to end of declaration",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0081-move-where-expression.md",
year = {2016}
}
@misc{se0092,
author = "David Hart and Doug Gregor",
title = "{SE-0092}: Typealiases in protocols and protocol extensions",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0092-typealiases-in-protocols.md",
year = {2016}
}
@misc{se0095,
author = "Trent Nadeau",
title = "{SE-0103}: Make non-escaping closures the default",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0103-make-noescape-default.md",
year = {2016}
}
@misc{se0103,
author = "Adrian Zubarev and Austin Zheng",
title = "{SE-0095}: Replace \texttt{protocol<P1,P2>} syntax with \texttt{P1 \& P2} syntax",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0095-any-as-existential.md",
year = {2016}
}
@misc{se0142,
author = "David Hart and Jacob Bandes-Storch and Doug Gregor",
title = "{SE-0142}: Permit where clauses to constrain associated types",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0142-associated-types-constraints.md",
year = {2017}
}
@misc{se0143,
author = "Doug Gregor",
title = "{SE-0143}: Conditional conformances",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0143-conditional-conformances.md",
year = {2016}
}
@misc{se0148,
author = "Chris Eidhof",
title = "{SE-0148}: Generic subscripts",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0148-generic-subscripts.md",
year = {2017}
}
@misc{se0156,
author = "David Hart and Austin Zheng",
title = "{SE-0156}: Class and subtype existentials",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0156-subclass-existentials.md",
year = {2017}
}
@misc{se0157,
author = "Doug Gregor and Erica Sadun and Austin Zheng",
title = "{SE-0157}: Support recursive constraints on associated types",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0157-recursive-protocol-constraints.md",
year = {2017}
}
@misc{se0193,
author = "Slava Pestov",
title = "{SE-0193}: Cross-module inlining and specialization",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0193-cross-module-inlining-and-specialization.md",
year = {2018}
}
@misc{se0244,
author = "Doug Gregor and Joe Groff",
title = "{SE-0244}: Opaque result types",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0244-opaque-result-types.md",
year = {2019}
}
@misc{se0260,
author = "Jordan Rose and Ben Cohen",
title = "{SE-0260}: Library Evolution for Stable {ABIs}",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0260-library-evolution.md",
year = {2019}
}
@misc{se0261,
author = "Anthony Latsis",
title = "{SE-0261}: \texttt{where} clauses on contextually generic declarations",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0267-where-on-contextually-generic.md",
year = {2019}
}
@misc{se0281,
author = "Nate Cook and Nate Chandler and Matt Ricketson",
title = "{SE-0281}: \texttt{@main}: Type-Based Program Entry Points",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0281-main-attribute.md",
year = {2020}
}
@misc{se0296,
author = "John McCall and Doug Gregor",
title = "{SE-0296}: Async/await",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0296-async-await.md",
year = {2020}
}
@misc{se0309,
author = "Anthony Latsis and Filip Sakel and Suyash Srijan",
title = "{SE-0309}: Unlock existentials for all protocols",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0309-unlock-existential-types-for-all-protocols.md",
year = {2022}
}
@misc{se0315,
author = "Frederick Kellison-Linn",
title = "{SE-0315}: Type placeholders",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0315-placeholder-types.md",
year = {2021}
}
@misc{se0328,
author = "Benjamin Driscoll and Holly Borla",
title = "{SE-0328}: Structural opaque result types",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0328-structural-opaque-result-types.md",
year = {2021}
}
@misc{se0341,
author = "Doug Gregor",
title = "{SE-0341}: Opaque parameter declarations",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0341-opaque-parameters.md",
year = {2022}
}
@misc{se0346,
author = "Pavel Yaskevich and Holly Borla and Slava Pestov",
title = "{SE-0346}: Lightweight same-type requirements for primary associated types",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0346-light-weight-same-type-syntax.md",
year = {2022}
}
@misc{se0352,
author = "Doug Gregor",
title = "{SE-0352}: Implicitly opened existentials",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0352-implicit-open-existentials.md",
year = {2022}
}
@misc{se0353,
author = "Robert Widmann",
title = "{SE-0353}: Constrained existential types",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0353-constrained-existential-types.md",
year = {2022}
}
@misc{se0355,
author = "Holly Borla",
title = "{SE-0335}: Introduce existential \texttt{any}",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0335-existential-any.md",
year = {2021}
}
@misc{se0361,
author = "Holly Borla",
title = "{SE-0361}: Extensions on bound generic types",
url = "https://github.com/apple/swift-evolution/blob/main/proposals/0361-bound-generic-extensions.md",
year = {2022}
}
@misc(sil,
title = "Swift Intermediate Language {(SIL)}",
url = "https://github.com/apple/swift/blob/main/docs/SIL.rst",
year = {2016}
)
@misc(gensig,
author = "Doug Gregor",
title = "Generic Signatures",
url = "https://github.com/apple/swift/blob/main/docs/ABI/GenericSignature.md",
year = {2018}
)
@misc(reqeval,
author = "Doug Gregor",
title = "Request evaluator",
url = "https://github.com/apple/swift/blob/main/docs/RequestEvaluator.md",
year = {2018}
)
@misc(incremental,
author = "Jordan Rose",
title = "Dependency analysis",
url = "https://github.com/apple/swift/blob/main/docs/DependencyAnalysis.md",
year = {2015}
)
@article{undecidablegroup,
author = {Donald J. Collins},
title = {{A simple presentation of a group with unsolvable word problem}},
volume = {30},
journal = {Illinois Journal of Mathematics},
number = {2},
publisher = {Duke University Press},
pages = {230 -- 234},
year = {1986},
doi = {10.1215/ijm/1256044631},
URL = {https://doi.org/10.1215/ijm/1256044631}
}
@book{andallthat, place={Cambridge}, title={Term Rewriting and All That}, DOI={10.1017/CBO9781139172752}, publisher={Cambridge University Press}, author={Baader, Franz and Nipkow, Tobias}, year={1998}}
@Inbook{Knuth1983,
author="Knuth, D. E.
and Bendix, P. B.",
editor="Siekmann, J{\"o}rg H.
and Wrightson, Graham",
title="Simple Word Problems in Universal Algebras",
bookTitle="Automation of Reasoning: 2: Classical Papers on Computational Logic 1967--1970",
year="1983",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="342--376",
isbn="978-3-642-81955-1",
doi="10.1007/978-3-642-81955-1_23",
url="https://doi.org/10.1007/978-3-642-81955-1_23"
}
@article{SQUIER1994271,
title = {A finiteness condition for rewriting systems},
journal = {Theoretical Computer Science},
volume = {131},
number = {2},
pages = {271-294},
year = {1994},
issn = {0304-3975},
doi = {https://doi.org/10.1016/0304-3975(94)90175-9},
url = {https://www.sciencedirect.com/science/article/pii/0304397594901759},
author = {Craig C. Squier and Friedrich Otto and Yuji Kobayashi}
}
@inproceedings{guiraud:hal-00818253,
TITLE = {{A Homotopical Completion Procedure with Applications to Coherence of Monoids}},
AUTHOR = {Guiraud, Yves and Malbos, Philippe and Mimram, Samuel},
URL = {https://hal.inria.fr/hal-00818253},
BOOKTITLE = {{RTA - 24th International Conference on Rewriting Techniques and Applications - 2013}},
ADDRESS = {Eindhoven, Netherlands},
EDITOR = {Van Raamsdonk, Femke},
PUBLISHER = {{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {21},
PAGES = {223-238},
YEAR = {2013},
MONTH = Jun,
DOI = {10.4230/LIPIcs.RTA.2013.223},
HAL_ID = {hal-00818253},
HAL_VERSION = {v1},
}