A Uniform Approach to Applicative and Imperative Features in Programming Languages

Stefan Sokolowski. A Uniform Approach to Applicative and Imperative Features in Programming Languages. In Piotr Dembinski, editor, Mathematical Foundations of Computer Science 1980 (MFCS 80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980. Volume 88 of Lecture Notes in Computer Science, pages 612-626, Springer, 1980.