The 32nd ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL '2005). Papers presented at the symposium, Long Beach, California, USA, on january 12-14, 2005. - Association for computing machinery Press, 2005. - ( ACM SIGPLAN Notices ; 40).