Defunctionalized Interpreters for Call-by-Need Evaluation. - Olivier Danvy; Kevin Millikin; Johan Munk; Ian Zerny (FLOPS, 2010)

On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation. - Olivier Danvy; Kevin Millikin; Johan Munk; Ian Zerny (Theor. Comput. Sci., 2012)