Exploring for fun "A Functional Correspondence between Evaluators and Abstract Machines" from the Danvy group.