Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming Languages (POPL 2004). Papers presented at the Symposium, Venice, Italy, on January 14-16, 2004. - Association for computing machinery Press, 2004. - ( ACM SIGPLAN Notices ; 39).