Here is a list of articles in the category Academic programming languages of the Computing portal that unifies foundations of mathematics and computations using computers. Programming languages influential in computer science and programming language theory. Some are only widely used by computer scientists and may even lack an actual implementation, only being used for studying their theoretical properties.
The following 37 pages are in this category, out of 37 total.