Removing partial parametrization for efficient implementation of functional languages
Tài liệu tham khảo
Peyton Jones, 1987
Johnson, 1985, Lambda lifting: transforming programs to recursive equations, 190
Henderson, 1980
Takeichi, 1986, A functional machine for fully lazy evaluation, 54
Johnson, 1984, Efficient compilation of lazy evaluation
Hughes, 1982, Super-combinators: a new implementation method for applicative languages, 1