-
Notifications
You must be signed in to change notification settings - Fork 0
/
bibliography.bib
214 lines (193 loc) · 6.29 KB
/
bibliography.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
@book {fltc,
AUTHOR = {Sernadas, Am\'{\i}lcar and Sernadas, Cristina},
TITLE = {Foundations of logic and theory of computation},
SERIES = {Texts in Computing},
VOLUME = {10},
PUBLISHER = {College Publications, London},
YEAR = {2008},
PAGES = {xii+337},
ISBN = {978-1-904987-88-8},
MRCLASS = {03-01 (03B70 68-01 68Q01)},
MRNUMBER = {2723358},
}
@book {shoenfield,
AUTHOR = {Shoenfield, Joseph R.},
TITLE = {Mathematical logic},
PUBLISHER = {Addison-Wesley Publishing Co., Reading, Mass.-London-Don
Mills, Ont.},
YEAR = {1967},
PAGES = {viii+344},
MRCLASS = {02.00},
MRNUMBER = {0225631},
MRREVIEWER = {G. Kreisel},
}
@book {perko,
AUTHOR = {Perko, Lawrence},
TITLE = {Differential equations and dynamical systems},
SERIES = {Texts in Applied Mathematics},
VOLUME = {7},
EDITION = {Third},
PUBLISHER = {Springer-Verlag, New York},
YEAR = {2001},
PAGES = {xiv+553},
ISBN = {0-387-95116-4},
MRCLASS = {34-01 (34Cxx 37-01 37C10)},
MRNUMBER = {1801796},
MRREVIEWER = {Vladimir Sh. Burd},
DOI = {10.1007/978-1-4613-0003-8},
URL = {https://doi.org/10.1007/978-1-4613-0003-8},
}
@book {bliss,
AUTHOR = {Bliss, Gilbert A.},
TITLE = {Lectures on the {C}alculus of {V}ariations},
PUBLISHER = {University of Chicago Press, Chicago, Ill.},
YEAR = {1946},
PAGES = {ix+296},
MRCLASS = {49.0X},
MRNUMBER = {0017881},
MRREVIEWER = {O. Frink},
}
@book {brunt,
AUTHOR = {van Brunt, Bruce},
TITLE = {The calculus of variations},
SERIES = {Universitext},
PUBLISHER = {Springer-Verlag, New York},
YEAR = {2004},
PAGES = {xiv+290},
ISBN = {0-387-40247-0},
MRCLASS = {49-01 (49J05 49K05 70H25)},
MRNUMBER = {2004181},
MRREVIEWER = {Zvi Artstein},
DOI = {10.1007/b97436},
URL = {https://doi.org/10.1007/b97436},
}
@book {gelfandfomin,
AUTHOR = {Gelfand, I. M. and Fomin, S. V.},
TITLE = {Calculus of variations},
NOTE = {Revised English edition translated and edited by Richard A.
Silverman},
PUBLISHER = {Prentice-Hall, Inc., Englewood Cliffs, N.J.},
YEAR = {1963},
PAGES = {vii+232},
MRCLASS = {49.00},
MRNUMBER = {0160139},
MRREVIEWER = {W. H. Fleming},
}
@book{goldstein,
added-at = {2011-08-23T10:21:40.000+0200},
author = {Goldstein, Herbert},
biburl = {https://www.bibsonomy.org/bibtex/214fd8bdf635378c1cb0259b598386bde/jgurian},
groups = {public},
interhash = {6d2dd3d33491ec62a06fc5210c7983d6},
intrahash = {14fd8bdf635378c1cb0259b598386bde},
keywords = {},
mendeley-groups = {Complete Library},
publisher = {Addison-Wesley},
timestamp = {2011-08-23T10:21:40.000+0200},
title = {Classical Mechanics},
username = {jgurian},
year = 1980
}
@article {blissmayer,
AUTHOR = {Bliss, Gilbert Ames},
TITLE = {The problem of {M}ayer with variable end points},
JOURNAL = {Trans. Amer. Math. Soc.},
FJOURNAL = {Transactions of the American Mathematical Society},
VOLUME = {19},
YEAR = {1918},
NUMBER = {3},
PAGES = {305--314},
ISSN = {0002-9947},
MRCLASS = {49K05},
MRNUMBER = {1501104},
DOI = {10.2307/1988956},
URL = {https://doi.org/10.2307/1988956},
}
@misc{haskisnotcat,
title={Hask is not a category},
url={http://math.andrej.com/2016/08/06/hask-is-not-a-category/},
howpublished = "\url{http://math.andrej.com/2016/08/06/hask-is-not-a-category/}",
author={Bauer, Andrej}
}
@misc{parametric,
title={Parametricity: Money for Nothing and Theorems for Free},
url={https://bartoszmilewski.com/2014/09/22/parametricity-money-for-nothing-and-theorems-for-free/},
howpublished = "\url{https://bartoszmilewski.com/2014/09/22/parametricity-money-for-nothing-and-theorems-for-free/}",
author={Milewski, Bartosz}
}
@article{markjones,
title={A system of constructor classes: overloading and implicit higher-order polymorphism},
author={Jones, Mark P},
journal={Journal of functional programming},
volume={5},
number={1},
pages={1--35},
year={1995},
publisher={Cambridge University Press}
}
@inproceedings{theoremsforfree,
title={Theorems for free!},
author={Wadler, Philip},
booktitle={Proceedings of the fourth international conference on Functional programming languages and computer architecture},
pages={347--359},
year={1989}
}
@misc{so1,
title={Stack {O}verflow: How exactly does `{IO}'s \texttt{>>=} work under the hood?},
url={https://stackoverflow.com/a/51772273/2997964},
howpublished = "\url{https://stackoverflow.com/a/51772273/2997964}",
}
@misc{ioinside,
title={Haskell wiki: {IO} inside},
url={https://wiki.haskell.org/IO_inside},
howpublished = "\url{https://wiki.haskell.org/IO_inside}",
}
@misc{burritos,
title={Abstraction, intuition, and the ``monad tutorial fallacy''},
url={https://byorgey.wordpress.com/2009/01/12/abstraction-intuition-and-the-monad-tutorial-fallacy/},
howpublished = "\url{https://byorgey.wordpress.com/2009/01/12/abstraction-intuition-and-the-monad-tutorial-fallacy/}",
author={Yorgey, Brent}
}
@book{maclane,
title={Categories for the working mathematician},
author={Mac Lane, Saunders},
volume={5},
year={2013},
publisher={Springer Science \& Business Media}
}
@inproceedings{baastad,
title={Monads for functional programming},
author={Wadler, Philip},
booktitle={International School on Advanced Functional Programming},
pages={24--52},
year={1995},
organization={Springer}
}
@article{kleisli,
title={Every standard construction is induced by a pair of adjoint functors},
author={Kleisli, Heinrich},
journal={Proceedings of the American Mathematical Society},
volume={16},
number={3},
pages={544--546},
year={1965},
publisher={JSTOR}
}
@book{moggi1,
title={An abstract view of programming languages},
author={Moggi, Eugenio},
year={1989},
publisher={University of Edinburgh, Department of Computer Science, Laboratory for~…}
}
@misc{amp,
title={Haskell 2014: {A}pplicative => {M}onad proposal ({AMP})},
url={https://github.com/quchen/articles/blob/master/applicative_monad.md},
howpublished = "\url{https://github.com/quchen/articles/blob/master/applicative_monad.md}",
author={Luposchainsky, David}
}
@book{catforprog,
title={Category theory for programmers},
author={Milewski, Bartosz},
year={2019},
publisher={Bartosz Milewski}
}