| Language | First appeared | Developer |
|---|---|---|
| Agda | 2007 | Chalmers University of Technology |
| Charity | 1992 | — |
| Clean | 1987 | — |
| Elm | 2012 | — |
| FAUST | 2002 | — |
| Frege | — | — |
| Futhark | 2014 | — |
| Haskell | 1990 | Paul Hudak, Philip Wadler, Erik Meijer, John Hughes, Lennart Augustsson, Simon Peyton Jones |
| Idris | 2007 | — |
| Joy | 2001 | — |
| Mercury | 1995 | University of Melbourne |
| Miranda | 1985 | — |
| Nix | 2003 | — |
| PureScript | 2013 | — |
| Rocq prover | 1984 | Institut National de Recherche en Informatique et en Automatique |
| SequenceL | 1989 | — |