Hacker News
Linking pages
- GitHub - sveme/meta-meta: A meta list of meta ressources (i.e., a link list of link lists) https://github.com/sveme/meta-meta 9 comments
- Barebones lambda cube in OCaml · GitHub https://gist.github.com/Hirrolot/89c60f821270059a09c14b940b454fd6 2 comments
- GitHub - veyselusta/programming-language-research: Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc. https://github.com/veyselusta/programming-language-research 1 comment
Linked pages
- Category Theory for Programmers: The Preface | Bartosz Milewski's Programming Cafe https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ 372 comments
- PL People http://www.angelfire.com/tx4/cus/people/ 299 comments
- Real World OCaml https://realworldocaml.org/ 238 comments
- GitHub - hmemcpy/milewski-ctfp-pdf: Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source https://github.com/hmemcpy/milewski-ctfp-pdf/ 228 comments
- How to Design Programs http://www.htdp.org/ 213 comments
- An argument against call/cc http://okmij.org/ftp/continuations/against-callcc.html 136 comments
- Software Foundations http://www.cis.upenn.edu/~bcpierce/sf/ 133 comments
- Great Works in Programming Languages https://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml 125 comments
- Certified Programming with Dependent Types http://adam.chlipala.net/cpdt/ 117 comments
- reference request - What's new in purely functional data structures since Okasaki? - Theoretical Computer Science Stack Exchange http://cstheory.stackexchange.com/questions/1539/whats-new-in-purely-functional-data-structures-since-okasaki 114 comments
- Programming Languages: Application and Interpretation http://cs.brown.edu/courses/cs173/2012/book/ 113 comments
- A Computational Introduction to Number Theory and Algebra http://www.shoup.net/ntb/ 91 comments
- miniKanren.org http://minikanren.org 81 comments
- http://www.ethoberon.ethz.ch/WirthPubl/CBEAll.pdf 77 comments
- http://mitpress.mit.edu/sicp/ 75 comments
- Home Page - MIT Press http://category-theory.mitpress.mit.edu/ 75 comments
- The HoTT Book | Homotopy Type Theory http://homotopytypetheory.org/book/ 74 comments
- Blurb Bookstore. Buy, sell or share self published books | Blurb Books http://www.blurb.com/b/9008339-category-theory-for-programmers 72 comments
- http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf 68 comments
- Programming Languages: Application and Interpretation by Shriram Krishnamurthi http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/ 66 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - steshaw/plt: Programming Language Theory λΠ
See how to search.