编程语言理论（Programming Language Theory，缩写PLT）是计算机科学的分支学科，主要研究编程语言的设计、实现、分析及分类方法，与数学、软件工程、语言学及认知科学等学科存在交叉关联。其核心研究领域涵盖形式语义、类型理论、程序分析与转换、编译器构造等方向，涉及可计算性理论、范畴论等数学工具 。作为活跃的研究领域，其成果既发表于《ACM编程语言汇刊》等专业期刊，也常见于计算机科学与工程领域主流出版物。
该领域历史可追溯至20世纪30年代，Alonzo Church与Stephen Cole Kleene提出lambda演算理论。1954年John Backus团队开发Fortran奠定现代编程语言基础。1960年代Ole-Johan Dahl等人开发Simula引入面向对象概念，Peter Landin基于lambda演算提出SECD抽象机。1972年Prolog实现逻辑编程范式，1975年Scheme语言融合词法作用域与延续模型。1980年代Smalltalk完善面向对象体系，1990年Haskell标准化推动函数式编程发展。
想要了解更多“编程语言理论”的信息，请点击：编程语言理论百科
