Skip to content

williamdemeo/TypeFunc

master
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
lit
 
 
 
 
 
 

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

About

Resources for type theory, functional programming, etc.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published