POPL 2002: the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages: papers presented at the symposium : PORTLAND, OREGON, 16-18 JANUARY 2002. (New York : ACM,Inc., 2002)