Programlama dili kuramı

Also known as theory of programming languages, PLT

programlama dillerinin tasarımı, gerçekleştirimi, sınıflandırılması ile ilgilenen bilgisayar bilimlerinin bir alanı