Elixir (language)
Elm (language)
miniKanren
Idris (language)
Kotlin (language)
BEAM (machine virtuelle)
NekoVM
