Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal. Lazy call-by-value evaluation. In Ralf Hinze, Norman Ramsey, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007. pages 265-276, ACM, 2007. [doi]
Abstract is missing.