You are about to access our book library "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 full version" .