This is a list of notable programming languages, grouped by type. The groupings are overlapping; not mutually exclusive. A language can be listed in multiple...

index to notable programming languages, in current or historical use. Dialects of BASIC, esoteric programming languages, and markup languages are not included...

specified as part of programming languages and built into interpreters and compilers, although the type system of a language can be extended by optional tools...

Programming languages can be grouped by the number and types of paradigms supported. A concise reference for the programming paradigms listed in this...

selection of commonly used programming languages. See the individual languages' articles for further information. Most programming languages will print...

There are thousands of programming languages. These are listed in various ways: This article includes a technology-related list of lists....

functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm...

the top two languages in the TIOBE index, a measure of the popularity of programming languages. C is an imperative, procedural language in the ALGOL...

theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq...

of programming languages spans from documentation of early mechanical computers to modern tools for software development. Early programming languages...