学术的编程语言

在计算机科学和程序设计语言理论中有影响的编程语言。其中一些只在计算机科学家中广泛使用，甚至可能缺乏实际实现，只被用于研究它们的理论上的性质。