-
-
Save isubasinghe/c8e21844c67aa2210975df79c7896da9 to your computer and use it in GitHub Desktop.
Type system learning notes
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Classes | |
| * Keith Devlin - Introduction to Mathematical Thinking - https://www.coursera.org/learn/mathematical-thinking | |
| * Michael Genesereth - Introduction to Logic - https://www.coursera.org/learn/logic-introduction | |
| Books | |
| * Benjamin C. Pierce - Types and Programming Languages - https://www.cis.upenn.edu/~bcpierce/tapl/ | |
| * Bartosz Milewski - Category Theory For Programmers - https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ | |
| * Benjamin C. Pierce et al. - Software Foundations - https://softwarefoundations.cis.upenn.edu/ | |
| * Various Authors - Homotopy Type Theory - https://homotopytypetheory.org/book/ | |
| Videos | |
| * Philip Wadler - Propositions as Types - https://www.youtube.com/watch?v=IOiZatlZtGU | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment