A formal development of an efficient supercombinator compiler (1987)

by R S Bird
Venue:Science of Computer Programming