A type system for safe memory management and its proof of correctness
Konferenzberichte:
PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
ISBN: 9781605581170
Datum der Publikation: 2008
Seiten: 152-162
Art: Konferenz-Beitrag
