A type system for safe memory management and its proof of correctness
Proceedings:
PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
ISBN: 9781605581170
Year of publication: 2008
Pages: 152-162
Type: Conference paper