Uniqueness Types in the Clean programming language, and ownership types and borrowed pointers in the Rust programming language. Lattner, Chris. Chris Lattner's ...