-
-
Save xmonader/5637d3101cabf3d357bd8d64fd024aef 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