Skip to main content

A Formal Development of an Efficient Supercombinator Compiler

R. S. Bird

Journal
Science of Computer Programming
Pages
113–137
Volume
8
Year
1987