Great Works in Programming Languages

I guess I never linked to this before, even though I was certain I had. It's a list of papers selected by a community of programming language researchers as the most important and representative of the field. The collection is called Great Works in Programming Languages. Worth taking a look.

I have read and reviewed "An axiomatic basis for computer programming" by C.A.R. Hoare, here (in portuguese). I've read "A theory of type polymorphism in programming" by Milner more than once, and never finished "Towards a theory of type structure" by Reynolds. I also read the one by Landin ("The next 700 programming languages") and Plotkin's "Call-by-name, call-by-value, and the λ-calculus" is on my queue. Maybe someday I'll get back to them and post reviews.

Classic Texts in Computer Science

A selection of classic texts in the discipline, by Babar K. Zafar, with links to electronic versions of each one.

Choosing which texts are classic can certainly be controversial, although in this case I think only texts with electronic versions available were considered. Even so, there are many good things in there, some of which I have already read, some I plan to read soon.