- https://htdp.org/2003-09-26/Book/curriculum-Z-H-1.html#node_toc_start
- http://cs.brown.edu/courses/cs173/2012/book/book.pdf Programming Languages: Application and Interpretation
- http://sarabander.github.io/sicp/html/index.xhtml#SEC_Contents
- https://www.asc.ohio-state.edu/pollard.4/type/books/pierce-tpl.pdf Types and Programming Languages
- https://v1.realworldocaml.org/v1/en/html/files-modules-and-programs.html
- https://www.cliki.net/favorite%20lisp%20books
- https://www.quora.com/What-are-some-classic-Lisp-books
- https://files.cnblogs.com/files/caozhu1/The.Design.of.Design.pdf
- https://www.cs.drexel.edu/~yfcai/CS451/RequiredReadings/MythicalManMonth.pdf
- Crista Lopes - Exercises in Programming Style
- https://pron.github.io/computation-logic-algebra
- https://fi.ort.edu.uy/innovaportal/file/20124/1/41-herken_ed._95_-_the_universal_turing_machine.pdf
- https://arxiv.org/pdf/1206.1706.pdf
Last active
June 5, 2026 13:40
-
-
Save stereobooster/4c5b70b77f4ebb7feb5d11fc8caef563 to your computer and use it in GitHub Desktop.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment