Johan Nordlander, Magnus Carlsson, Andy Gill. Unrestricted pure call-by-value recursion. In Eijiro Sumii, editor, Proceedings of the ACM SIGPLAN Workshop on ML. ML'08, pages 23-34, Association for Computing Machinery, New York, NY, USA, 2008. [doi]
Abstract is missing.