Removing partial parametrization for efficient implementation of functional languages

Computer Languages - Tập 17 - Trang 241-250 - 1992
Husheng Liao1
1Department of Software Engineering, Beijing Computer Institute, No. 24 Xi-San-Huan-Bei Road, Beijing, People's Republic of China

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