Follow

Awesome Collection of references, mainly related to . Some of the texts can be found inside the of the and, as one might imagine, there are gems that are worth reading. I specially recommend the Axiomatic Basis for by and The next 700 programming languages by Landin.

[202212142246 Great Works in Programming Languages](cis.upenn.edu/~bcpierce/course)

On the same note, the Classic books series, again from the are absolutely worth your time, and many of the authors will be in both lists. [202212142258 ACM Classic Books](dl.acm.org/collections/classic)

Finally, another good read is the of where they approach the subject in a very objective way, which I like. [202212142301 The Philosophy of Computer Science](plato.stanford.edu/entries/com)

Sign in to participate in the conversation
CleverLibre Social

CleverLibre Social is an inclusive social instance for open discussion, learning, and community.
All cultures welcome.
Hate speech and harassment strictly forbidden.