POPL '96: the 23rd ACM SIGPLAN-SIGACT symposium on principles of programming languages: papers presented at the symposium : St. Petersburg beach, Florida, 21-24 JANUARY 1996. (ACM,Inc, 1996)