I didn't anticipate on the paper not being publicly accessible, but there is a link with Clean. The main asset of Sisal discussed in the paper is it's copy elimination analysis. Clean's uniqueness types could be used to achieve the same effect. Jan