編程語言理論 (PLT) 是計算機科學的一個分支，它處理被稱為編程語言的形式語言的設計、實現、分析、表征和分類。 編程語言理論與其他領域密切相關，包括數學、軟件工程和語言學。 該地區有許多學術會議和期刊。

在某些方面，編程語言理論的歷史甚至早于編程語言本身的發展。 由 Alonzo Church 和 Stephen Cole Kleene 在 1930 年xxx發的 lambda 演算被一些人認為是世界上xxx種編程語言，盡管它旨在模擬計算而不是程序員描述算法以 一個計算機系統。 許多現代函數式編程語言都被描述為在 lambda 演算上提供了一層薄薄的外表，并且許多語言很容易用它來描述。

xxx種被發明的編程語言是 Plankalkül，它由 Konrad Zuse 在 1940 年代設計，但直到 1972 年才為公眾所知（直到 1998 年才實現）。 xxx種廣為人知且成功的高級編程語言是 Fortran，由 John Backus 領導的 IBM 研究人員團隊于 1954 年至 1957 年開發。 FORTRAN 的成功導致了一個科學家委員會的成立，以開發一種通用的計算機語言； 他們努力的結果是 ALGOL 58。另外，麻省理工學院的 John McCarthy 開發了 Lisp，這是xxx個起源于學術界并獲得成功的語言。 隨著這些初步努力的成功，編程語言成為 1960 年代及以后的活躍研究課題。

此后編程語言理論史上的一些其他關鍵事件：

• Noam Chomsky 在語言學領域發展了 Chomsky 層次結構，這一發現直接影響了編程語言理論和計算機科學的其他分支。

• Simula 語言由 Ole-Johan Dahl 和 Kristen Nygaard 開發； 它被廣泛認為是面向對象編程語言的xxx個例子； Simula 還引入了協程的概念。
• 1964 年，Peter Landin 是xxx個意識到 Church 的 lambda 演算可用于對編程語言建模的人。 他介紹了解釋 lambda 表達式的 SECD 機器。
• 1965 年，Landin 引入了 J 運算符，本質上是一種延續形式。
• 1966 年，Landin 在他的文章 The Next 700 Programming Languages 中介紹了 ISWIM，這是一種抽象的計算機編程語言。 它對導致 Haskell 編程語言的語言設計具有影響力。
• 1966 年，Corrado B?hm 引入了編程語言 CUCH (Curry-Church)。
• 1967 年，克里斯托弗·斯特拉奇 (Christopher Strachey) 出版了他頗具影響力的講義集《程序設計語言中的基本概念》，其中介紹了術語 R 值、L 值、參數多態性和臨時多態性。
• 1969 年，J. Roger Hindley 發表了組合邏輯中對象的主要類型方案，后來推廣到 Hindley-Milner 類型推理算法。
• 1969 年，托尼·霍爾 (Tony Hoare) 引入了霍爾邏輯，這是一種公理語義學形式。
• 1969 年，威廉·阿爾文·霍華德 (William Alvin Howard) 觀察到一個高級證明系統（稱為自然演繹）可以在其直覺版本中直接解釋為稱為 lambda 演算的計算模型的類型變體。 這被稱為 Curry-Howard 通信。

• 1970 年，Dana Scott 首次發表了他關于指稱語義的著作。
• 1972 年，邏輯編程和 Prolog 得以開發，從而使計算機程序可以表示為數學邏輯。
• Alan Kay 領導的 Xerox PARC 科學家團隊開發了 Smalltalk，這是一種面向對象的語言，以其創新的開發環境而廣為人知。
• 1974 年，John C. Reynolds 發現了系統 F。數理邏輯學家 Jean-Yves Girard 早在 1971 年就發現了它。

• 從 1975 年開始，Gerald Jay Sussman 和 Guy Steele 開發了 Scheme 編程語言，這是一種 Lisp 方言，結合了詞法范圍、統一的命名空間以及來自 actor 模型的元素，包括一流的延續。
• 巴克斯在 1977 年的圖靈獎演講中抨擊了工業語言的現狀，并提出了一類新的編程語言，現在稱為函數級編程語言。
• 1977 年，Gordon Plotkin 介紹了 Programming Computable Functions，這是一種抽象類型的函數式語言。
• 1978 年，Robin Milner 為機器學習引入了 Hindley–Milner 類型推理算法。 類型理論作為一門學科應用到編程語言中，這種應用在過去的一年里導致了類型理論的巨大進步。