A practical type system for safe aliasing.

Dimitri Racordon, Didier Buchs

Browse the full SLE paper archive.