Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
Jabaco - Jabaco is a simple programming language with a Visual Basic like syntax.
Haskell - An advanced purely-functional programming language
Ceylon - Ceylon is a language designed specifically for writing large programs in teams.
Isabelle - Isabelle is a proof assistant for writing and checking mathematical proofs by computer.
ASP.NET Core - With ASP.