分類:程序設計語言理論

子分類

此分類包含以下 3 個子分類，共 3 個。

程序语言研究者 (1個頁面)

學

学术的编程语言 (23個頁面)

重

重写系统 (1個分類， 3個頁面)

「程序設計語言理論」分類中的頁面

此分類共有 5 個頁面，以下顯示其中 5 個。

頭

引

引用透明性

抽

抽象句法

語

语法错误

取自「https://zh.wikipedia.org/w/index.php?title=Category:程序设计语言理论&oldid=80465403」