Testing an optimising compiler by generating random lambda terms.

Michal H. Palka, Koen Claessen, Alejandro Russo, John Hughes

Browse the full ICSE paper archive.