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.

Abstract

Abstract is missing.