@inproceedings(claessen2000quickcheck,
 author       = {Koen Claessen and John Hughes},
 year         = {2000},
 title        = {QuickCheck: a lightweight tool for random testing of Haskell programs},
 booktitle    = {Proceedings of the fifth ACM SIGPLAN international conference on Functional programming},
 pages        = {268--279},
 doi          = {10.1145/351240.351266},
)
@(ACM:2013,
 author       = {Association for Computing Machinery},
 year         = {2013},
 title        = {{Computer Science Curricula 2013: Curriculum Guidelines for Undergraduate Degree Programs in Computer Science}},
 doi          = {10.1145/2534860},
 url          = {http://www.acm.org/education/CS2013-final-report.pdf},
)
@book(Doets:2004,
 author       = {Kees Doets and Jan van Eijck},
 year         = {2004},
 title        = {{The Haskell Road to Logic, Maths, and Programming}},
 publisher    = {Texts in Computing. King’s College Publications},
)
@article(goldberg1991every,
 author       = {David Goldberg},
 year         = {1991},
 title        = {What every computer scientist should know about floating-point arithmetic},
 journal      = {ACM computing surveys (CSUR)},
 volume       = {23},
 number       = {1},
 pages        = {5--48},
 doi          = {10.1145/103162.103163},
)
@techreport(Henderson:2002,
 author       = {P. B. Henderson},
 year         = {2002},
 title        = {Functional and declarative languages for learning discrete mathematics},
 type         = {Technical Report},
 number       = {0210},
 institution  = {University of Kiel},
)
@article(LiberalArtsComputerScienceConsortium:2007,
 author       = {{Liberal Arts Computer Science Consortium}},
 year         = {2007},
 title        = {{A 2007 Model Curriculum for a Liberal Arts Degree in Computer Science}},
 journal      = {J. Educ. Resour. Comput.},
 volume       = {7},
 number       = {2},
 doi          = {10.1145/1240200.1240202},
)
@inproceedings(moura2021lean,
 author       = {Leonardo de Moura and Sebastian Ullrich},
 year         = {2021},
 title        = {The {L}ean 4 theorem prover and programming language},
 booktitle    = {International Conference on Automated Deduction},
 organization = {Springer},
 pages        = {625--635},
 doi          = {10.1007/978-3-030-79876-5_37},
)
@misc(oeis,
 author       = {{OEIS Foundation Inc.}},
 year         = {2022},
 title        = {{The On-Line Encyclopedia of Integer Sequences}},
 url          = {http://oeis.org/},
)
@book(ODonnell:2006,
 author       = {John O'Donnell and Cardelia Hall and Rex Page},
 year         = {2006},
 title        = {{Discrete Mathematics Using a Computer}},
 publisher    = {Springer-Verlag London},
)
@techreport(Scharff:2002,
 author       = {C. Scharff and A. Wildenberg},
 year         = {2002},
 title        = {{Teaching discrete structures with SML}},
 type         = {Technical Report},
 institution  = {University of Kiel},
)
@inproceedings(traytel2011extending,
 author       = {Dmitriy Traytel and Stefan Berghofer and Tobias Nipkow},
 year         = {2011},
 title        = {Extending Hindley-Milner type inference with coercive structural subtyping},
 booktitle    = {Asian Symposium on Programming Languages and Systems},
 organization = {Springer},
 pages        = {89--104},
 doi          = {10.1007/978-3-642-25318-8_10},
)
@book(hottbook,
 author       = {{Univalent Foundations Program}, The},
 year         = {2013},
 title        = {Homotopy Type Theory: Univalent Foundations of Mathematics},
 publisher    = {\url{https://homotopytypetheory.org/book}},
 address      = {Institute for Advanced Study},
)
@inproceedings(VanDrunen:2011,
 author       = {Thomas VanDrunen},
 year         = {2011},
 title        = {{The Case for Teaching Functional Programming in Discrete Math}},
 booktitle    = {Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion},
 series       = {OOPSLA '11},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {81--86},
 doi          = {10.1145/2048147.2048180},
)
@book(vandrunen2013discrete,
 author       = {Thomas VanDrunen},
 year         = {2013},
 title        = {Discrete mathematics and functional programming},
 publisher    = {Franklin, Beedle \& Associates Incorporated},
)
@article(10.1145/3078325,
 author       = {Thomas VanDrunen},
 year         = {2017},
 title        = {Functional Programming as a Discrete Mathematics Topic},
 journal      = {ACM Inroads},
 volume       = {8},
 number       = {2},
 pages        = {51–58},
 doi          = {10.1145/3078325},
)
@inproceedings(Wainwright:1992,
 author       = {Roger L. Wainwright},
 year         = {1992},
 title        = {{Introducing Functional Programming in Discrete Mathematics}},
 booktitle    = {{Proceedings of the Twenty-third SIGCSE Technical Symposium on Computer Science Education}},
 series       = {SIGCSE '92},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {147--152},
 doi          = {10.1145/135250.134540},
)
@article(Xing:2008,
 author       = {Cong-Cong Xing},
 year         = {2008},
 title        = {{Enhancing the Learning and Teaching of Functions Through Programming in ML}},
 journal      = {J. Comput. Sci. Coll.},
 volume       = {23},
 number       = {4},
 pages        = {97--104},
 doi          = {10.5555/1352079.1352096},
)
@inproceedings(yorgey2018explaining,
 author       = {Brent A. Yorgey and Richard A. Eisenberg and Eades III, Harley D.},
 year         = {2018},
 title        = {Explaining Type Errors},
 booktitle    = {Off The Beaten Track},
 url          = {https://popl18.sigplan.org/details/OBT-2018/8/Explaining-Type-Errors},
)