![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/3/39/Lambda_lc.svg/640px-Lambda_lc.svg.png&w=640&q=50)
Programming language theory
Branch of computer science / From Wikipedia, the free encyclopedia
"Theory of programming" redirects here. For the branch of CS that deals with what problems can be solved, see Theory of computation.
Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. Programming language theory is closely related to other fields including mathematics, software engineering, and linguistics. There are a number of academic conferences and journals in the area.
![]() | This article includes a list of general references, but it lacks sufficient corresponding inline citations. (October 2015) |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/39/Lambda_lc.svg/320px-Lambda_lc.svg.png)