| B | procedural programming | Ken Thompson, Bell Labs |
| Planner | procedural programming, logic programming | — |
| Polymorphic Programming Language | procedural programming | — |
| SETL | procedural programming, structured programming, imperative programming, object-oriented programming | Courant Institute School of Mathematics, Computing, and Data Science |
| TUTOR | procedural programming, imperative programming | — |