Proceedings of the 1980 ACM conference on LISP and functional programming