A type system for safe memory management and its proof of correctness.

Manuel Montenegro, Ricardo Pena, Clara Segura

Browse the full PPDP paper archive.