| Language | Appeared | Type system | Languages it influenced |
|---|---|---|---|
| Alice | 2000 | static typing, inference typing, strong typing | 1 |
| Alma-0 | 1997 | static typing, strong typing | — |
| Curry | 1995 | static typing, inference typing, strong typing | — |
| ECLiPSe | 1992 | — | — |
| Kaleidoscope | 1994 | — | — |
| MiniZinc | 2009 | strong typing | — |
| Oz | 1991 | dynamic typing | 2 |