Open License Computer Books

• http://homepages.cwi.nl/~atanasso/ref

This is a collection of programming language theory texts and resources, all of which are freely available over the Internet.

Many valuable reference texts on programming language theory, previously only available in paper form, have in recent years become publicly accessible from the net. I list here the ones I know of; below that you will also find a much broader list of lecture notes and tutorials, other interesting reading, plus a collection of related resources.