Rust uses something like uniqueness types to ensure memory management is correct, but there are also linear types and I know it has been research on that in Haskell for example. Search for Hask-LL.