Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterisation, and classification of formal languages known as programming languages and of their individual features.
Syntax and Semantics
Functions
- First-order function
- First-class function
- Recursion
Mutability
- Box
- Mutable variable