Philip Durbin (Dec 13 2025 at 15:42): Philip Durbin (Dec 13 2025 at 15:42):Looks interesting: https://softwarefoundations.cis.upenn.edu
Philip Durbin (Dec 13 2025 at 15:42):From a Meetup post:
"To start with I am suggesting Benjamine Pierce's Software Foundations set of books (https://softwarefoundations.cis.upenn.edu/) for a few reasons. They are freely available, they cover material that is useful to know and is not generally encountered during self study, and, I have take Pierce's software foundations course using a previous edition of these books. Finally, I believe the topics of these books, such as programming languages, type theory, formal specifications and verification to currently be useful as well as being rather future proof."
Last updated: Jan 09 2026 at 14:22 UTC