>>Uniqueness types[1], which are inspired by ownership types and borrowed pointers in the Rust language<<

"They are inspired by linear types, Uniqueness Types in the Clean programming language, and ownership types and borrowed pointers in the Rust programming language."

See http://clean.cs.ru.nl/download/html_report/CleanRep.2.2_11.h...