Last active
December 17, 2024 08:24
-
-
Save dicej/d1117e5d65155d750c16234e6eff1687 to your computer and use it in GitHub Desktop.
Type system learning notes
This file contains 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 | |
| * Robert Harper - Homotopy Type Theory - http://www.cs.cmu.edu/~rwh/courses/hott/ | |
| Books and Articles | |
| * Benjamin C. Pierce - Types and Programming Languages - https://www.cis.upenn.edu/~bcpierce/tapl/ | |
| * x775 - Introduction to Datalog - https://x775.net/2019/03/18/Introduction-to-Datalog.html | |
| * 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/ | |
| * Robert Harper - Practical Foundations for Programming Languages - https://www.cs.cmu.edu/~rwh/pfpl.html | |
| * Various Authors - Homotopy Type Theory - https://homotopytypetheory.org/book/ | |
| * Sandy Maguire - Thinking with Types - https://thinkingwithtypes.com/ | |
| * Saunders MacLane - Categories for the Working Mathematician | |
| * Benjamin C. Pierce - Basic Category Theory for Computer Scientists | |
| Videos | |
| * Philip Wadler - Propositions as Types - https://www.youtube.com/watch?v=IOiZatlZtGU | |
| * Philip Wadler - Categories for the Working Hacker - https://www.youtube.com/watch?v=gui_SE8rJUM | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
For a somewhat related list see the comments of this StackOverflow question.