One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts.

Ferdinand Vesely, Kathleen Fisher

Browse the full ESOP paper archive.