| Ada | 1980 | structured programming, imperative programming, multi-paradigm programming, object-oriented programming | static typing, nominative typing, safe typing, strong typing | 15 |
| C# | 2001 | generic programming, reflective programming, event-driven programming, functional programming, structured programming, imperative programming, multi-paradigm programming, class-based programming, strict programming, object-oriented programming | dynamic typing, nominative typing, inference typing, strong typing | 23 |
| D | 2001 | functional programming, imperative programming, object-oriented programming | static typing, inference typing, strong typing | 5 |
| Discipulus | 2012 | — | — | — |
| Java | 1995 | generic programming, reflective programming, functional programming, structured programming, imperative programming, class-based programming, concurrent object-oriented programming, component-based software engineering, object-oriented programming | manifest typing, static typing, nominative typing, safe typing, strong typing | 43 |
| Ruby | 1995 | reflective programming, functional programming, imperative programming, object-oriented programming | dynamic typing, duck typing, strong typing | 11 |
| Scala | 2004 | concurrent computing, functional programming, imperative programming, object-oriented programming | static typing, inference typing, structural typing, strong typing | 9 |