Similar to Mozartプログラミングシステム

Erlang (programming language)

Oz (programming language)

Amoeba (operating system)

Go (programming language)

Clean (programming language)

Clojure

Common Lisp

Dylan (programming language)

Elm (programming language)

F Sharp (programming language)

F* (programming language)

FP (programming language)

Frenetic (programming language)

Gleam (programming language)

Idris (programming language)

ISWIM

Kent Recursive Calculator

Lean (proof assistant)

Lisp (programming language)

Wolfram Mathematica

Miranda (programming language)

ML (programming language)

OCaml

PureScript