Proceedings of the 2001 ACM Sigplan-Sigact Symposium on Principles of Programming, The royal society, London, 17-19 January 2001. - Association for computing machinery Press, 2001. - ( ACM SIGPLAN Notices ; 36).