Recursion and dynamic data-structures in bounded space: towards embedded ML programming Export

@inproceedings{citeulike:5816025, abstract = {We present a functional language with a type system such that well typed programs run within stated space-bounds. The language is a strict, first-order variant of ML with constructs for explicit storage management. The type system is a variant of Tofte and Talpin's region inference system to which the notion of sized types, of Hughes, Pareto and Sabry, has been added.}, address = {New York, NY, USA}, author = {Hughes, John and Pareto, Lars}, booktitle = {ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming}, citeulike-article-id = {5816025}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=317636.317785}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/317636.317785}, doi = {10.1145/317636.317785}, isbn = {1-58113-111-9}, keywords = {embedded, memory-management, ml, region-memory, system-programming}, location = {Paris, France}, pages = {70--81}, posted-at = {2009-09-21 20:28:24}, priority = {2}, publisher = {ACM}, title = {Recursion and dynamic data-structures in bounded space: towards embedded ML programming}, url = {http://dx.doi.org/10.1145/317636.317785}, year = {1999} }

TY - CONF ID - citeulike:5816025 L3 - citeulike-article-id:5816025 N2 - We present a functional language with a type system such that well typed programs run within stated space-bounds. The language is a strict, first-order variant of ML with constructs for explicit storage management. The type system is a variant of Tofte and Talpin's region inference system to which the notion of sized types, of Hughes, Pareto and Sabry, has been added. CY - Paris, France SN - 1-58113-111-9 AD - New York, NY, USA EP - 81 TI - Recursion and dynamic data-structures in bounded space: towards embedded ML programming PB - ACM T2 - ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming SP - 70 KW - embedded KW - memory-management KW - ml KW - region-memory KW - system-programming AU - Hughes, John AU - Pareto, Lars PY - 1999/// UR - http://dx.doi.org/10.1145/317636.317785 ER -