
[ACM Press the 10th international ACM SIGPLAN symposium - Valencia, Spain (2008.07.15-2008.07.17)] Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 - A type system for safe memory management and its proof of correctness
Montenegro, Manuel, Peña, Ricardo, Segura, ClaraAnnée:
2008
Langue:
english
DOI:
10.1145/1389449.1389468
Fichier:
PDF, 247 KB
english, 2008