-
Notifications
You must be signed in to change notification settings - Fork 0
/
ownpublications.bib
207 lines (193 loc) · 8.13 KB
/
ownpublications.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
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Own Publications
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@article{popl2019,
author = {Binder, David and Jabs, Julian and Skupin, Ingo and Ostermann, Klaus},
title = {Decomposition Diversity with Symmetric Data and Codata},
year = {2019},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {4},
number = {POPL},
url = {https://doi.org/10.1145/3371098},
doi = {10.1145/3371098},
journal = {Proc. ACM Program. Lang.},
articleno = {30},
numpages = {28}
}
@article{icfp2022,
author = {Ostermann, Klaus and Binder, David and Skupin, Ingo and S\"{u}berkr\"{u}b, Tim and Downen, Paul},
title = {Introduction and Elimination, Left and Right},
year = {2022},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {6},
number = {ICFP},
url = {https://doi.org/10.1145/3547637},
doi = {10.1145/3547637},
journal = {Proc. ACM Program. Lang.},
articleno = {106},
numpages = {28},
}
@software{icfp2022artefact,
author = {Klaus Ostermann and David Binder and Ingo Skupin and Tim Süberkrüb and Paul Downen},
title = {{Introduction and Elimination, Left and Right -- Coq Formalization}},
year = {2022},
publisher = {Zenodo},
doi = {10.5281/zenodo.6685674},
url = {https://doi.org/10.5281/zenodo.6685674}
}
@misc{arxiv2022,
author = {Binder, David and Jabs, Julian and Skupin, Ingo and Ostermann, Klaus},
title = {Data-Codata Symmetry and its Interaction with Evaluation Order},
year = {2022},
doi = {10.48550/ARXIV.2211.13004},
url = {https://arxiv.org/abs/2211.13004},
publisher = {arXiv},
}
@inproceedings{structuralRefinementTypes2022,
author = {Binder, David and Skupin, Ingo and L\"{a}wen, David and Ostermann, Klaus},
title = {Structural Refinement Types},
year = {2022},
isbn = {9781450394390},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3546196.3550163},
doi = {10.1145/3546196.3550163},
booktitle = {Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven Development},
pages = {15--27},
numpages = {13},
location = {Ljubljana, Slovenia},
series = {TyDe 2022}
}
@Inbook{popperOnQuantification2021,
author = {Binder, David and Piecha, Thomas},
editor = {Parusnikov{\'a}, Zuzana and Merritt, David},
title = {Popper on Quantification and Identity},
bookTitle = {Karl Popper's Science and Philosophy},
year = {2021},
publisher = {Springer International Publishing},
address = {Cham},
pages = {149--169},
isbn = {978-3-030-67036-8},
doi = {10.1007/978-3-030-67036-8_8},
url = {https://doi.org/10.1007/978-3-030-67036-8_8}
}
@article{popperNegations2017,
author = {David Binder and Thomas Piecha},
title = {Popper's Notion of Duality and His Theory of Negations},
journal = {History and Philosophy of Logic},
volume = {38},
number = {2},
pages = {154--189},
year = {2017},
publisher = {Taylor & Francis},
doi = {10.1080/01445340.2016.1278517},
URL = {https://doi.org/10.1080/01445340.2016.1278517},
eprint = {https://doi.org/10.1080/01445340.2016.1278517}
}
@book{popperLogicalWritings2022,
author = {Binder, David and Piecha, Thomas and Schroeder-Heister, Peter},
publisher = {Springer Cham},
title = {The Logical Writings of Karl Popper},
series = {Trends in Logic},
volume = {58},
pages = {552},
year = {2022}
}
@incollection{festschriftDuzi2022,
author = {Binder, David and Piecha, Thomas},
booktitle = {Logically Speaking. A Festschrift for Marie Du{\v{z}}{\'i}},
editor = {Materna, Pavel and Jespersen, Bj{\o}rn},
publisher = {College Publications},
series = {Tributes},
volume = {49},
title = {Administrative Normal Forms and Focusing for Lambda Calculi},
year = {2022}
}
@article{oopsla2023,
author = {Bhanuka, Ishan and Parreaux, Lionel and Binder, David and Brachth\"{a}user, Jonathan Immanuel},
title = {Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference},
year = {2023},
issue_date = {October 2023},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {7},
number = {OOPSLA2},
url = {https://doi.org/10.1145/3622812},
doi = {10.1145/3622812},
journal = {Proc. ACM Program. Lang.},
month = {10},
articleno = {237},
numpages = {29}
}
@software{Binder2024artefact,
author = {Binder, David and
Skupin, Ingo and
Süberkrüb, Tim and
Ostermann, Klaus},
year = {2024},
title = {Deriving Dependently-Typed OOP from First Principles},
month = {3},
publisher = {Zenodo},
doi = {10.5281/zenodo.10779424},
url = {https://doi.org/10.5281/zenodo.10779424},
note = {Archived version of the submitted artefact}
}
@article{Binder2024extendedversion,
author = {Binder, David and
Skupin, Ingo and
Süberkrüb, Tim and
Ostermann, Klaus},
year = {2024},
title = {Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices},
doi = {10.48550/arXiv.2403.06707},
url = {https://doi.org/10.48550/arXiv.2403.06707},
}
@article{Binder2024derivingoop,
author = {Binder, David and Skupin, Ingo and S\"{u}berkr\"{u}b, Tim and Ostermann, Klaus},
title = {Deriving Dependently-Typed OOP from First Principles},
year = {2024},
issue_date = {April 2024},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {8},
number = {OOPSLA1},
url = {https://doi.org/10.1145/3649846},
doi = {10.1145/3649846},
journal = {Proc. ACM Program. Lang.},
month = {apr},
articleno = {129},
numpages = {27},
}
@software{Binder2024grokkingartefact,
author = {Binder, David and
Tzschentke, Marco and
Müller, Marius and
Ostermann, Klaus},
year = {2024},
title = {Grokking the Sequent Calculus (Functional Pearl)},
month = {7},
publisher = {Zenodo},
doi = {10.5281/zenodo.12704905},
url = {https://doi.org/10.5281/zenodo.12704905},
note = {Archived version of the submitted artefact}
}
@article{Binder2024grokking,
author = {Binder, David and Tzschentke, Marco and M\"{u}ller, Marius and Ostermann, Klaus},
title = {Grokking the Sequent Calculus (Functional Pearl)},
year = {2024},
issue_date = {August 2024},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {8},
number = {ICFP},
url = {https://doi.org/10.1145/3674639},
doi = {10.1145/3674639},
journal = {Proc. ACM Program. Lang.},
month = {aug},
articleno = {250},
numpages = {31},
}