Home

Awesome

TypeFunc

This repository collects some links and resources for learning about type theory, functional programming, and related subjects.

My Current Favorites (new section!)

Because there are so many (perhaps too many) links to resources on this page, I've decided to occasionally short-list a few resources that were (at the time of the last commit) my current favorites... for whatever that's worth.

  1. Introduction to Univalent Foundations of Mathematics with Agda, Martín Escardó, 2019.
  2. The Agda Universal Algebra Library, William DeMeo, 2021. (shameless plug).
  3. Homotopy Type Theory Electronic Seminar Talks.
  4. The HoTT Book, textbook from the IAS year on univalent foundations, 2013.
  5. Scala with Cats, Noel Welsh and Dave Gurnell, 2020.

What appeals to me about the last item is the book's promotion of program composition and category theory as two powerful organizing principles for software design and development.

Books and Papers

Basics/Background

Programming Books

More Advanced


Recorded Lectures


Courses


Programming Languages (in alphabetical order)


Some Related GitHub Repositories

(alphabetical)

Miscellaneous