A Formal Development of an Efficient Subercombinator Compiler

Richard S. Bird. A Formal Development of an Efficient Subercombinator Compiler. Science of Computer Programming, 8(2):113-137, 1987.

Abstract

Abstract is missing.