Proceedings of the second ACM SIGPLAN international conference on Functional programming - Jones, Simon Peyton (Association for Computing Machinery, 1997)