Lobsters
- A Practical Theory Of Programming http://www.cs.toronto.edu/~hehner/aPToP/aPToP.pdf 4 comments book , compsci , pdf , programming
- Philip Wadler and Erik Meijer: On Programming Language Theory and Practice https://www.youtube.com/watch?v=9SBR_SnrEiI 12 comments programming
- Theory Versus Practice: The Great Divide in Programming Languages http://www.drdobbs.com/cpp/theory-versus-practice-the-great-divide/240160938 49 comments programming
- Programming Languages: Theory and Practice. Free book [pdf] http://people.cs.uchicago.edu/~blume/classes/aut2008/proglang/text/offline.pdf 30 comments programming
- "Go is not meant to innovate programming theory. It’s meant to innovate programming practice." - A great answer to some of the "criticisms" of Go floating around. http://blog.alieniloquent.com/2009/12/15/newsflash-go-is-experimental/ 15 comments golang
- A Practical Theory of Programming (Free Book) [PDF, PS] http://www.cs.toronto.edu/~hehner/aptop/ 26 comments programming
- What is a good practical tax course that teaches basic tax theory and concepts similar to the IRS Vita program? https://www.reddit.com/r/personalfinance/comments/o2o4cd/what_is_a_good_practical_tax_course_that_teaches/ 5 comments personalfinance
- 18 years ago Putin thought so highly of American democracy in theory and in practice that he supported an American program to teach Russians how to be American-style democrats. https://patrickarmstrong.ca/2018/06/20/yes-putin-once-dreamed-the-american-dream/ 5 comments russia
Lambda the Ultimate
- A Practical Theory of Programming http://www.cs.toronto.edu/~hehner/aPToP/ 3 comments Misc-Books
- Harper: Programming Languages: Theory and Practice http://www.cs.cmu.edu/~rwh/plbook/ 0 comments Misc-Books
- The Practice of Type Theory in Programming Languages http://www.cs.cmu.edu/~rwh/talks/Dagstuhl%202000.ppt 0 comments theory
- FLOPS 2016, promoting cross-fertilization across the whole declarative programming and theory and practice http://www.info.kochi-tech.ac.jp/FLOPS2016/ 2 comments LtU Forum