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]
@inproceedings{NordlanderCG08,
title = {Unrestricted pure call-by-value recursion},
author = {Johan Nordlander and Magnus Carlsson and Andy Gill},
year = {2008},
doi = {10.1145/1411304.1411309},
url = {http://doi.acm.org/10.1145/1411304.1411309},
researchr = {https://researchr.org/publication/NordlanderCG08},
cites = {0},
citedby = {0},
pages = {23-34},
booktitle = {Proceedings of the ACM SIGPLAN Workshop on ML},
editor = {Eijiro Sumii},
series = {ML'08},
address = {New York, NY, USA},
publisher = {Association for Computing Machinery},
isbn = {978-1-60558-062-3},
}