Ricardo Peña-Marí Clara Segura Manuel Montenegro A sharing analysis for SAFE. 109-128 2006 conf/sfp/2006 Trends in Functional Programming db/conf/sfp/tfp2006.html#Pena-MariSM06