| Language | Paradigms | Type system | Languages it influenced |
|---|---|---|---|
| B | procedural programming | — | 1 |
| Planner | procedural programming, logic programming | — | 1 |
| SETL | procedural programming, structured programming, imperative programming, object-oriented programming | dynamic typing | 2 |
| TUTOR | procedural programming, imperative programming | — | — |