Johan Nordlander Magnus Carlsson Andy Gill Unrestricted pure call-by-value recursion. 23-34 2008 ML http://doi.acm.org/10.1145/1411304.1411309 conf/ml/2008 db/conf/ml/ml2008.html#NordlanderCG08