| ABAP | 1983 | static typing, nominative typing, safe typing, strong typing | — |
| ABC | 1975 | polymorphism, strong typing | 1 |
| Ada | 1980 | static typing, nominative typing, safe typing, strong typing | 15 |
| Alef | 2010 | static typing, strong typing | 2 |
| ALGOL | 1959 | — | 13 |
| ALGOL 58 | 1958 | static typing, strong typing | 3 |
| ALGOL 60 | 1960 | static typing, strong typing | 13 |
| ALGOL W | 1966 | static typing, strong typing | 1 |
| APL | 1966 | dynamic typing | 10 |
| BCPL | 1967 | — | 3 |
| BLISS | 1970 | — | — |
| C | 1972 | manifest typing, static typing, nominative typing, weak typing | 60 |
| C# | 2001 | dynamic typing, nominative typing, inference typing, strong typing | 23 |
| C++/CLI | 2004 | — | — |
| Charm | 1996 | static typing, strong typing | — |
| Cilk | 1994 | manifest typing, static typing, weak typing | 2 |
| Clarion | 1986 | — | — |
| COMAL | 1975 | strong typing | — |
| Component Pascal | 1997 | static typing, strong typing | — |
| Concurrent Euclid | 1980 | strong typing | — |
| Coral 66 | 1964 | static typing, strong typing | — |
| CPL | 1963 | — | 3 |
| Darwin | 1991 | dynamic typing, strong typing | — |
| DataFlex | 1982 | — | — |
| DBYTE | — | static typing | — |
| DIBOL | 1970 | static typing | — |
| Draco | — | manifest typing, static typing, strong typing | — |
| Edinburgh IMP | 1966 | static typing, strong typing | — |
| Euclid | 1977 | static typing, strong typing | 2 |
| Euler | 1965 | dynamic typing | — |
| Executive Systems Problem Oriented Language | 1966 | static typing, strong typing | — |
| Ezhil | 2007 | dynamic typing, strong typing | — |
| Flowgorithm | 2014 | — | — |
| Fortran | 1957 | manifest typing, static typing, strong typing | 13 |
| Genie | 2008 | static typing, strong typing | — |
| Go | 2009 | static typing, duck typing, inference typing, structural typing, strong typing | 8 |
| HAL/S | 1978 | — | — |
| Hale | 2026 | — | — |
| Icon | 1977 | dynamic typing | 3 |
| J# | 2002 | — | 1 |
| Java | 1995 | manifest typing, static typing, nominative typing, safe typing, strong typing | 43 |
| JOVIAL | 1960 | static typing, safe typing, structural typing, strong typing | 1 |
| JS++ | 2011 | dynamic typing, gradual typing, static typing | — |
| Kotlin | 2011 | static typing, inference typing, strong typing | 2 |
| Lasso | 1995 | dynamic typing, nominative typing, duck typing | — |
| LOLCODE | 2007 | — | — |
| LSE | 1960 | — | — |
| LYaPAS | 1964 | dynamic typing | — |
| Microsoft C | 1983 | — | — |
| Microsoft Small Basic | 2008 | dynamic typing, weak typing | — |
| Modula-2 | 1978 | static typing, safe typing, strong typing | 9 |
| NekoVM | 2005 | dynamic typing | — |
| NetRexx | 1996 | dynamic typing, static typing, safe typing, strong typing | — |
| NEWP | — | static typing, strong typing | — |
| Nu | 2007 | dynamic typing | — |
| Oberon | 1987 | dynamic typing, static typing, strong typing | 7 |
| Object Pascal | 1986 | dynamic typing, static typing, safe typing, strong typing | 6 |
| Obliq | 1993 | dynamic typing, strong typing | — |
| Open Programming Language | 1984 | — | — |
| OpenCL | 2009 | manifest typing, static typing, nominative typing, weak typing | — |
| ParaSail | 2009 | static typing, strong typing | — |
| Pascal | 1970 | static typing, safe typing, strong typing | 27 |
| PL/C | 1973 | strong typing | — |
| PL/I | 1964 | strong typing | 6 |
| PL/M | 1973 | — | — |
| PL360 | 1966 | static typing, strong typing | — |
| Plus | 1976 | static typing, safe typing, strong typing | — |
| PROMAL | 1984 | — | — |
| PureBasic | 1998 | — | — |
| P′′ | 1964 | — | 1 |
| QuakeC | 1996 | static typing, strong typing | — |
| Rapira | 1987 | dynamic typing | — |
| Raptor | — | — | — |
| REXX | 1979 | dynamic typing | 2 |
| RPL | 1984 | — | — |
| RTL/2 | 1972 | static typing, safe typing, structural typing, strong typing | 1 |
| S3 | — | — | — |
| Seed7 | 2005 | manifest typing, static typing, nominative typing, strong typing | — |
| SETL | 1969 | dynamic typing | 2 |
| Simula | 1962 | static typing, nominative typing | 10 |