Tom Hirschowitz Xavier Leroy J. B. Wells Compilation of extended recursion in call-by-value functional languages http://arxiv.org/abs/0902.1257 2009 CoRR abs/0902.1257 db/journals/corr/corr0902.html#abs-0902-1257 informal publication