Baltasar Trancón-y-Widemann. V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions. In Clemens Grelck, Frank Huch, Greg Michaelson, Philip W. Trinder, editors, Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers. Volume 3474 of Lecture Notes in Computer Science, pages 90-107, Springer, 2004. [doi]
Abstract is missing.