Author: ACM Symposium on Principles of Programming Languages (30th 2003 New Orleans, La.)