bib.bib

@InCollection{agda,
 Author = {Bove, Ana and Dybjer, Peter and Norell, Ulf},
 Title = {A brief overview of {Agda} -- a functional language with dependent types},
 BookTitle = {Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
 ISBN = {978-3-642-03358-2},
 Pages = {73--78},
 Year = {2009},
 Publisher = {Berlin: Springer},
 Language = {English},
 DOI = {10.1007/978-3-642-03359-9_6},
 Keywords = {68N18,68T15},
 zbMATH = {5618500},
 Zbl = {1252.68062}
}
@Book{cats,
 Author = {Mac Lane, Saunders},
 Title = {Categories for the working mathematician.},
 Edition = {2nd ed},
 FSeries = {Graduate Texts in Mathematics},
 Series = {Grad. Texts Math.},
 ISSN = {0072-5285},
 Volume = {5},
 ISBN = {0-387-98403-8},
 Year = {1998},
 Publisher = {New York, NY: Springer},
 Language = {English},
 Keywords = {18-01},
 zbMATH = {1216133},
 Zbl = {0906.18001}
}
@InCollection{conal,
 Author = {Elliott, Conal and Hudak, Paul},
 Title = {Functional reactive animation},
 BookTitle = {Proceedings of the 2nd ACM SIGPLAN international conference on functional programming, ICFP '97, Amsterdam, Netherlands, June 9--11, 1997},
 ISBN = {0-89791-918-1},
 Pages = {263--273},
 Year = {1997},
 Publisher = {New York, NY: Association for Computing Machinery (ACM)},
 Language = {English},
 DOI = {10.1145/258948.258973},
 Keywords = {68N18},
 zbMATH = {6763101},
 Zbl = {1369.68094}
}
@misc{github,
  author = {Atticus Kuhn},
  title = {Parallel Algorithms},
  year = {2023},
  publisher = {GitHub},
  journal = {GitHub repository},
  howpublished = {\url{https://github.com/AtticusKuhn/parallel-algorithms}},
  commit = {8f0197c0b7287fa8629ec056d25b7c5ba936915b}
}