| APL | 1966 | dynamic typing | 10 |
| Component Pascal | 1997 | static typing, strong typing | — |
| F | — | manifest typing, static typing | — |
| Limbo | 1995 | strong typing | 2 |
| LYaPAS | 1964 | dynamic typing | — |
| Modula | 1975 | static typing, safe typing, strong typing | 4 |
| Modula-2 | 1978 | static typing, safe typing, strong typing | 9 |
| Modula-2+ | 1984 | strong typing | — |
| Oberon | 1987 | dynamic typing, static typing, strong typing | 7 |
| Obliq | 1993 | dynamic typing, strong typing | — |
| OCaml | 1996 | static typing, inference typing, structural typing, strong typing | 12 |
| Racket | 1995 | dynamic typing, strong typing | — |
| Standard ML | 1983 | static typing, inference typing, strong typing | 7 |
| XQuery | 2007 | dynamic typing, static typing, strong typing | — |