A Formal Development of an Efficient Supercombinator Compiler
R. S. Bird
Journal
Science of Computer Programming
Pages
113–137
Volume
8
Year
1987
R. S. Bird