A type system for safe memory management and its proof of correctness
Aktak:
PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
ISBN: 9781605581170
Argitalpen urtea: 2008
Orrialdeak: 152-162
Mota: Biltzar ekarpena
