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)

Follow

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
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.