uniqueness typing

4 programming languages

Language	Paradigms	First appeared	Developer
Clean	purely functional programming, functional programming	1987	—
Idris	purely functional programming, functional programming, total functional programming	2007	—
Mercury	object-oriented programming, multi-paradigm programming, purely functional programming, logic programming, functional programming	1995	University of Melbourne
SAC programming language	array programming	1994	Sven-Bodo Scholz