POPL '99: the 25th ACM SIGPLAN-SIGACT symposium on principles of programming languages: papers presented at the symposium : San Antonio, Texas, 20-22 january 1999. (ACM,Inc, 1999)