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
Year of publication: 2007
Volume: 7
Pages: 109-128
Congress: 7th Symposium on Trends in Functional Programming (TFP)
Type: Conference paper