linear typing

3 programming languages

Language	Paradigms	First appeared	Developer
ATS	declarative programming, functional programming	2006	Boston University
Idris	purely functional programming, functional programming, total functional programming	2007	—
Rust	generic programming, concurrent computing, procedural programming, functional programming, imperative programming, object-oriented programming	2006	Mozilla, Rust Foundation, Graydon Hoare