Author: ACM Symposium on Principles of Programming Languages (29th 2002 Portland, Or.)