%O Book 
%F popl2005
%T Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005
%B POPL
%E Palsberg, Jens
%E Abadi, Mart\'\in
%I ACM
%D 2005