Lí thuyết ngôn ngữ lập trình

Also known as theory of programming languages, PLT

branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features