Some materials on the programming language theory: ideas, papers, articles, etc.