Academic programming languages

Computing portal

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.

See also Category:Educational programming languages, Category:Experimental programming languages.