Links

Programming

Languages

Functional programming

Blogs and homepages

Other

Collections

Programming exercises

Publications

Misc

Entertainment/recreational

Comics

Videos

Other

Games

Books

Probably I'll try to backup all this and replace it with links to files later.

Technical

It's not easy to list all the nice books, or even to decide which books to list, but here are some.

Articles

Links to articles are dying surprisingly fast, I should fix them somehow.

Parsing/printing

DTLC

GADTs, (Co)inductive types, CciC

Functional programming

Programming with dependent types

Session types

It's useful to read about π-calculus (FAQ on π-Calculus) before reading about session types, and familiarity with typed λ-calculusis is assumed.

Unsorted

Graphics and typography

Non-technical

Other

Other

Food

Emergency exit

Misc