- Home
- Typing disciplines
- dependent typing
dependent typing
6 programming languages
| Language | Paradigms | First appeared | Developer |
|---|---|---|---|
| Agda | purely functional programming | 2007 | Chalmers University of Technology |
| ATS | declarative programming, functional programming | 2006 | Boston University |
| Cayenne | functional programming | — | — |
| Epigram | functional programming | 2004 | — |
| F* | functional programming, imperative programming | — | Microsoft Research, Institut National de Recherche en Informatique et en Automatique |
| Idris | purely functional programming, functional programming, total functional programming | 2007 | — |