Category:Academic programming languages

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.