A sharing analysis for SAFE

Ricardo Peña-Marí, Clara Segura, Manuel Montenegro. A sharing analysis for SAFE. In Henrik Nilsson, editor, Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006. Volume 7 of Trends in Functional Programming, pages 109-128, Intellect, 2006.

@inproceedings{Pena-MariSM06,
  title = {A sharing analysis for SAFE},
  author = {Ricardo Peña-Marí and Clara Segura and Manuel Montenegro},
  year = {2006},
  tags = {analysis},
  researchr = {https://researchr.org/publication/Pena-MariSM06},
  cites = {0},
  citedby = {0},
  pages = {109-128},
  booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006},
  editor = {Henrik Nilsson},
  volume = {7},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {978-1-84150-188-8},
}