Skip to content

Instantly share code, notes, and snippets.

@jaredh159

jaredh159/programming-books.md

Created June 10, 2024 12:34
Show Gist options
  • Save jaredh159/b72a9f2345052c03cb9c307dbb8a503d to your computer and use it in GitHub Desktop.
Save jaredh159/b72a9f2345052c03cb9c307dbb8a503d to your computer and use it in GitHub Desktop.
Download ZIP
programming books to possibly later buy (book)
Raw
programming-books.md
  • Types and Programming Languages - Benjamin Pierce

Seems like sort of the "standard" book for type theory. but looks big and maybe math-y

  • Dragon book (lots of complaints about it, but would be sort of cool to have read)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment