Category Theory for Programmers (Bartosz Milewski)


Functional Programming Data Structures (Chris Okasaki)


Homotopy Type Theory: Univalent Foundations of Mathematics (The Univalent Foundations Program Institute for Advanced Study)