John Hughes, Lars Pareto
Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming
ICFP, 1999.
@inproceedings{ICFP-1999-HughesP,
author = "John Hughes and Lars Pareto",
booktitle = "{Proceedings of the Fourth International Conference on Functional Programming}",
doi = "10.1145/317636.317785",
editor = "Didier Rémi and Peter Lee",
isbn = "1-58113-111-9",
pages = "70--81",
publisher = "{ACM}",
title = "{Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming}",
year = 1999,
}











