Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - Launchbury, John (Association for Computing Machinery, 2002)