| ABAP | 1983 | static typing, nominative typing, safe typing, strong typing | — |
| ABC | 1975 | polymorphism, strong typing | 1 |
| ActionScript | 1998 | static typing, strong typing | 1 |
| Ada | 1980 | static typing, nominative typing, safe typing, strong typing | 15 |
| AL | — | — | — |
| Aldor | 1990 | static typing, dependent type | — |
| ALGOL | 1959 | — | 13 |
| ALGOL 58 | 1958 | static typing, strong typing | 3 |
| ALGOL 60 | 1960 | static typing, strong typing | 13 |
| ALGOL 68 | 1968 | static typing, safe typing, structural typing, strong typing | 10 |
| ALGOL W | 1966 | static typing, strong typing | 1 |
| Alice | 2000 | static typing, inference typing, strong typing | 1 |
| Alma-0 | 1997 | static typing, strong typing | — |
| AMOS | 1990 | static typing | — |
| AMPL | 1985 | — | — |
| AngelScript | 2003 | static typing, strong typing | — |
| Apache Groovy | 2003 | dynamic typing, static typing, duck typing, strong typing | 3 |
| ASSIRIS | 1966 | — | — |
| Asymptote | 2004 | strong typing | — |
| AutoIt | 1999 | — | — |
| BASIC | 1964 | — | 21 |
| BASIC-PLUS | 1970 | — | — |
| BCPL | 1967 | — | 3 |
| BLISS | 1970 | — | — |
| Blitz BASIC | 2000 | weak typing, strong typing | 1 |
| Brainfuck | 1993 | — | 4 |
| C | 1972 | manifest typing, static typing, nominative typing, weak typing | 60 |
| C# | 2001 | dynamic typing, nominative typing, inference typing, strong typing | 23 |
| C* | 1987 | manifest typing, static typing, weak typing | — |
| C-- | 1997 | static typing, weak typing | — |
| C/AL | — | — | — |
| Caml | 1985 | static typing, inference typing, strong typing | — |
| Ceylon | 2011 | static typing, safe typing, strong typing | — |
| Cilk | 1994 | manifest typing, static typing, weak typing | 2 |
| Clarion | 1986 | — | — |
| CMS-2 | 1968 | — | — |
| COBOL | 1959 | static typing, weak typing | 4 |
| CoffeeScript | 2009 | dynamic typing | 2 |
| ColdFusion Markup Language | — | — | 1 |
| Component Pascal | 1997 | static typing, strong typing | — |
| Concurrent C | 1984 | static variable, weak typing | — |
| Concurrent Euclid | 1980 | strong typing | — |
| Control Language | — | — | 1 |
| Coral 66 | 1964 | static typing, strong typing | — |
| CPL | 1963 | — | 3 |
| D | 2001 | static typing, inference typing, strong typing | 5 |
| Dafny | 2009 | — | 1 |
| Dart | 2011 | static typing, inference typing, strong typing | 1 |
| Dartmouth BASIC | — | — | 2 |
| Darwin | 1991 | dynamic typing, strong typing | — |
| DataFlex | 1982 | — | — |
| DBYTE | — | static typing | — |
| DIBOL | 1970 | static typing | — |
| DIGITAL Command Language | — | — | 1 |
| Draco | — | manifest typing, static typing, strong typing | — |
| Dragon | 2018 | dynamic typing | — |
| Easy Programming Language | 2004 | — | — |
| EC | 2004 | static typing, nominative typing, partial inference typing | — |
| Edinburgh IMP | 1966 | static typing, strong typing | — |
| Esterel | 1980 | — | — |
| Euclid | 1977 | static typing, strong typing | 2 |
| Euler | 1965 | dynamic typing | — |
| Euphoria | 1993 | dynamic typing, static typing | — |
| Executive Systems Problem Oriented Language | 1966 | static typing, strong typing | — |
| Ezhil | 2007 | dynamic typing, strong typing | — |
| F# | 2005 | static typing, inference typing, strong typing | 4 |
| F* | — | static typing, dependent typing, refinement typing, inference typing, strong typing | — |
| Flix | 2016 | static typing, inference typing, structural typing, strong typing | — |
| Flow chart language | 1989 | — | — |
| FLOW-MATIC | 1955 | — | 3 |
| Fortran | 1957 | manifest typing, static typing, strong typing | 13 |
| G-code | 1950 | — | — |
| G-Portugol | — | — | — |
| Game Maker Language | 1999 | dynamic typing | — |
| Game Oriented Assembly Lisp | 2001 | dynamic typing, latent typing, strong typing | — |
| GAUSS | 1984 | — | — |
| Genie | 2008 | static typing, strong typing | — |
| Go | 2009 | static typing, duck typing, inference typing, structural typing, strong typing | 8 |
| Go! | 2003 | strong typing | — |
| Hale | 2026 | — | — |