| Language | Paradigms | Type system | Languages it influenced |
|---|---|---|---|
| ALGOL 60 | procedural programming, structured programming, imperative programming | static typing, strong typing | 13 |
| IBM PL/S | — | — | — |
| JOVIAL | procedural programming, structured programming, imperative programming | static typing, safe typing, structural typing, strong typing | 1 |
| LSE | procedural programming, structured programming | — | — |
| SLIP | — | — | — |