title : Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs authors: Sjaak Smetsers, Erik Barendsen, Marko van Eekelen, Rinus Plasmeijer. In this paper we present a type system for graph rewrite systems: uniqueness typing. It employs usage information to deduce whether an object is `unique' at a certain moment, i.e.\ is only locally accessible. In a type of a function it can be specified that the function requires a unique argument object. The correctness of type assignment guarantees that no external access on the original object will take place in the future. The presented type system is proven to be correct. We illustrate the power of the system by defining an elegant quicksort algorithm that performs the sorting in situ on the data structure.