No. 28 (2004): RS-28 A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational...