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...

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

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

expressions in that language. This applies both to programming languages, where the document represents source code, and to markup languages, where the document...

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

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...

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

a comparison of the features of the type systems and type checking of multiple programming languages. Brief definitions A nominal type system means that...

statically typed high-level general-purpose programming language that supports both object-oriented programming and functional programming. Designed to...