| Language | Paradigms | Type system | Languages it influenced |
|---|---|---|---|
| A♯ | functional programming | — | — |
| KRL | logic programming, declarative programming | — | — |
| Mary | imperative programming | static typing, strong typing | — |
| MDL | reflective programming, procedural programming, functional programming, metaprogramming | dynamic typing, strong typing | 1 |
| MIIS | — | dynamic typing | — |
| Sue | — | — | — |