Author: ACM Symposium on Principles of Programming Languages (32nd 2005 Long Beach, Calif.)