POPL '00: the 27th ACM SIGPLAN-SIGACT symposium on principles of programming languages: papers presented at the symposium : Boston, Massachusetts, 19-21 january 2000. (ACM,Inc, 2000)