Lobsters
Linking pages
Linked pages
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- Certified Programming with Dependent Types http://adam.chlipala.net/cpdt/ 117 comments
- The HoTT Book | Homotopy Type Theory http://homotopytypetheory.org/book/ 74 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 61 comments
- Software Foundations http://www.cis.upenn.edu/~bcpierce/sf/current/index.html 58 comments
- Lean http://leanprover.github.io 46 comments
- Book Details - MIT Press https://mitpress.mit.edu/books/types-and-programming-languages 28 comments
- Compose Conference - Type Providers and Error Reflection in Idris - YouTube https://www.youtube.com/watch?v=dP2imvL92sY 19 comments
- https://hal.inria.fr/hal-01094195/document 19 comments
- http://www.math.jhu.edu/~eriehl/context.pdf 17 comments
- https://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf 12 comments
- Category Theory in Context | The n-Category Café https://golem.ph.utexas.edu/category/2016/11/category_theory_in_context.html 12 comments
- http://www.paultaylor.eu/stable/prot.pdf 8 comments
- Advanced Topics in Types and Programming Languages http://www.cis.upenn.edu/~bcpierce/attapl/ 8 comments
- Oregon Programming Languages Summer School https://www.cs.uoregon.edu/research/summerschool/summer15/curriculum.html 6 comments
- Oregon Programming Languages Summer School https://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html 4 comments
- Practical Foundations of Mathematics http://www.paultaylor.eu/~pt/prafm/ 4 comments
- Logic and Proof — Logic and Proof 3.18.4 documentation http://leanprover.github.io/logic_and_proof/index.html 2 comments
- Oregon Programming Languages Summer School https://www.cs.uoregon.edu/research/summerschool/summer14/curriculum.html 2 comments
- Types and Programming Languages http://www.cis.upenn.edu/~bcpierce/tapl/ 2 comments
Would you like to stay up to date with Computer science? Checkout Computer science Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields.
See how to search.