Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004

Neil D. Jones Xavier Leroy Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004 POPL ACM 2004 1-58113-729-X db/conf/popl/popl2004.html http://dl.acm.org/citation.cfm?id=964001