uniqueness typing

4 programming languages

Language	Appeared	Paradigms	Languages it influenced
Clean	1987	functional programming, purely functional programming	2
Idris	2007	total functional programming, functional programming, purely functional programming	—
Mercury	1995	functional programming, logic programming, purely functional programming, multi-paradigm programming, object-oriented programming	—
SAC programming language	1994	array programming	—