Questions related to design, implementation, and analysis of programming languages. NOT for questions about how to program, which are off-topic on this site.

Use this tag for questions about programming language design and implementation and about theoretical concepts underlying existing programming languages.

Questions about concrete features of existing programming languages belongs on Stack Overflow.

For questions related to lambda calculus and type theory consider using the tag.

Related tags