プログラミング言語理論

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