Integrating strict and lazy evaluation: the sl - calculus (1990)

by Andrea Asperti
Venue:Programming Language Implementation and Logic Programming, Sweden, SpringerVerlag