A Sharing Analysis for SAFE
- Pena, Ricardo
- Segura, Clara
- Montenegro, Manuel
- Nilsson, H (coord.)
ISSN: 1743-4505
ISBN: 978-1-84150-993-8, 978-1-84150-188-8
Año de publicación: 2007
Volumen: 7
Páginas: 109-128
Congreso: 7th Symposium on Trends in Functional Programming (TFP)
Tipo: Aportación congreso