Manuel Montenegro, Ricardo Pena, Clara Segura. A type system for safe memory management and its proof of correctness. In Sergio Antoy, Elvira Albert, editors, Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain. pages 152-162, ACM, 2008. [doi]
@inproceedings{MontenegroPS08,
title = {A type system for safe memory management and its proof of correctness},
author = {Manuel Montenegro and Ricardo Pena and Clara Segura},
year = {2008},
doi = {10.1145/1389449.1389468},
url = {http://doi.acm.org/10.1145/1389449.1389468},
tags = {memory management, type system},
researchr = {https://researchr.org/publication/MontenegroPS08},
cites = {0},
citedby = {0},
pages = {152-162},
booktitle = {Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain},
editor = {Sergio Antoy and Elvira Albert},
publisher = {ACM},
isbn = {978-1-60558-117-0},
}