프로그래밍 언어 이론

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