分類:學術的程式語言

在計算機科學和程序設計語言理論中有影響的程式語言。其中一些只在計算機科學家中廣泛使用，甚至可能缺乏實際實現，只被用於研究它們的理論上的性質。