Programlama dili kuramı

Programlama dili kuramı, programlama dillerinin tasarımı, gerçekleştirimi, sınıflandırılması ile ilgilenen bilgisayar bilimlerinin bir alanıdır. Matematik, yazılım mühendisliği hatta bilişsel bilimlerle de ilgili birçok disiplinli alandır.