Author: ACM Symposium on Principles of Programming Languages (27th 2000 Boston, Mass.)