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.