Back to direct style (revised and extended version (1993)

by Olivier Danvy