Category:程序设计语言理论

子分类

本分类有以下3个子分类，共有3个子分类。

程序语言研究者 (1个页面)

学

学术的编程语言 (23个页面)

重

重写系统 (1个分类， 3个页面)

分类“程序设计语言理论”中的页面

以下5个页面属于本分类，共5个页面。

头

头等函数

引

引用透明性

抽

抽象句法

语

语法错误

頭

頭等物件

检索自“https://zh.wikipedia.org/w/index.php?title=Category:程序设计语言理论&oldid=80465403”