Title: Conference Record of Popl 2004 : The 31st Acm Sigplan-Sigact Symposium on Principles of Programming Languages