- Home
- Type systems
- dependent typing
dependent typing
6 programming languages
| Language | Appeared | Paradigms | Languages it influenced |
|---|---|---|---|
| Agda | 2007 | purely functional programming | 1 |
| ATS | 2006 | functional programming, declarative programming | — |
| Cayenne | — | functional programming | — |
| Epigram | 2004 | functional programming | 2 |
| F* | — | functional programming, imperative programming | — |
| Idris | 2007 | total functional programming, functional programming, purely functional programming | — |