POPL '95: the 22nd ACM SIGPLAN-SIGACT symposium on principles of programming languages: papers presented at the symposium : San Francisco, California, January 22-25, 1995. (ACM,Inc, 1995)