Optimal reduction in weak lambda-calculus with shared environments (1993)

by N Yoshida
Venue:In Proc. of FPCA’93, Functional Programming and Computer Architecture