Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming (1999)
Cached
Download Links
- [www.md.chalmers.se]
- [www.cs.chalmers.se]
- DBLP
Other Repositories/Bibliography
by
John Hughes
,
Lars Pareto
| Venue: | In Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming |
| Citations: | 72 - 0 self |
BibTeX
@INPROCEEDINGS{Hughes99recursionand,
author = {John Hughes and Lars Pareto},
title = {Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming},
booktitle = {In Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming},
year = {1999},
pages = {70--81},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
Citations
| 1232 | Theory of Linear and Integer Programming - SCHRIJVER - 1986 |
| 419 | The synchronous data-flow programming language Lustre - Halbwachs, Caspi, et al. - 1991 |
| 299 | The mechanical evaluation of expressions - Landin - 1964 |
| 176 | A practical algorithm for exact array dependence analysis - Pugh - 1992 |
| 113 | Proving the Correctness of Reactive Systems Using Sized Types - Hughes, Pareto, et al. - 1996 |
| 87 | Concurrent Programming in Erlang - Armstrong, Virding, et al. - 1996 |
| 73 | Functional Programming: Application and Implementation, chapter Delayed evaluation - A functional approach to parallelism - Henderson - 1980 |
| 1 | Pareto, Sized types, Licentiate thesis - Lars - 1998 |
| 1 | Sized types, Licentiate thesis - Pareto - 1998 |
