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

>>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.htm#_Toc311798092 http://clean.cs.ru.nl/download/html_report/CleanRep.2.2_11.h...