1987], "A formal development of an efficient supercombinator compiler (0)

by RS Bird
Venue:Science of Computer Programming