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, }