Skip to content

Instantly share code, notes, and snippets.

@isubasinghe

isubasinghe/type-systems.txt

Forked from dicej/type-systems.txt
Created November 11, 2021 08:43
Show Gist options
  • Save isubasinghe/c8e21844c67aa2210975df79c7896da9 to your computer and use it in GitHub Desktop.
Save isubasinghe/c8e21844c67aa2210975df79c7896da9 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. @dicej dicej revised this gist Nov 10, 2021. 1 changed file with 3 additions and 0 deletions.
    3 changes: 3 additions & 0 deletions type-systems.txt
    View file
    Original file line number Diff line number Diff line change
    @@ -11,7 +11,10 @@ Books and Articles
    * 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

  2. @dicej dicej revised this gist Nov 8, 2021. 1 changed file with 2 additions and 1 deletion.
    3 changes: 2 additions & 1 deletion type-systems.txt
    View file
    Original file line number Diff line number Diff line change
    @@ -3,8 +3,9 @@ Classes
    * 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
    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
  3. @dicej dicej revised this gist Nov 3, 2021. 1 changed file with 1 addition and 0 deletions.
    1 change: 1 addition & 0 deletions type-systems.txt
    View file
    Original file line number Diff line number Diff line change
    @@ -1,6 +1,7 @@
    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
    * Benjamin C. Pierce - Types and Programming Languages - https://www.cis.upenn.edu/~bcpierce/tapl/
  4. @dicej dicej revised this gist Nov 3, 2021. 1 changed file with 1 addition and 0 deletions.
    1 change: 1 addition & 0 deletions type-systems.txt
    View file
    Original file line number Diff line number Diff line change
    @@ -6,6 +6,7 @@ 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/
    * 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/

  5. @dicej dicej revised this gist Nov 3, 2021. 1 changed file with 1 addition and 0 deletions.
    1 change: 1 addition & 0 deletions type-systems.txt
    View file
    Original file line number Diff line number Diff line change
    @@ -7,6 +7,7 @@ Books
    * 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/
    * Sandy Maguire - Thinking with Types - https://thinkingwithtypes.com/

    Videos
    * Philip Wadler - Propositions as Types - https://www.youtube.com/watch?v=IOiZatlZtGU
  6. @dicej dicej created this gist Nov 3, 2021.
    13 changes: 13 additions & 0 deletions type-systems.txt
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,13 @@
    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