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
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).