Resources about theory of programming languages