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

by N Yoshida
Venue:Proc. of Functional Programming and Computer Architecture 93