John Hughes Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings FPCA Lecture Notes in Computer Science 523 Springer 1991 3-540-54396-1 db/conf/fpca/fpca1991.html