Conference Record of Popl 2004 : The 31st Acm Sigplan-Sigact Symposium on Principles of Programming Languages: Papers Presented at the Symposium, Venice, Italy January 14-16, 2003