@inproceedings{HughesPareto99,
 author = {John Hughes and Lars Pareto},
 title = {Recursion and dynamic data-structures in bounded space: towards embedded ML programming},
 booktitle = {Proceedings of the fourth ACM SIGPLAN international conference on Functional programming},
 year = {1999},
 isbn = {1-58113-111-9},
 pages = {70--81},
 location = {Paris, France},
 doi = {http://doi.acm.org/10.1145/317636.317785},
 publisher = {ACM Press},
 }