Andrea Asperti. Integrating Strict and Lazy Evaluation: The lambda-sl-Calculus. In Pierre Deransart, Jan Maluszynski, editors, Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP 90, Linköping, Sweden, August 20-22, 1990, Proceedings. Volume 456 of Lecture Notes in Computer Science, pages 238-254, Springer, 1990.
Abstract is missing.