Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming.

John Hughes, Lars Pareto

Browse the full ICFP paper archive.