Defunctionalization at Work (2001)

by Olivier Danvy, Lasse R. Nielsen