Uniqueness Types in the Clean programminglanguage, and ownership types and borrowed pointers in the Rust programminglanguage. Lattner, Chris. Chris Lattner's
PROSE modeling language PROTEL ProvideX Pro*C Pure Pure Data PureScript Python Q (equational programminglanguage) Q (programminglanguage from Kx Systems)