Hi : I have been looking at applicative bisimulation recently. I was wondering if anyone has used it for justifying program transformations of interest to compiler writers. -Jawahar Chirimar chirimar@saul.cis.upenn.edu