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
Ano de publicación: 2007
Volume: 7
Páxinas: 109-128
Congreso: 7th Symposium on Trends in Functional Programming (TFP)
Tipo: Achega congreso