Recursion and dynamic data-structures in bounded space: Towards embedded ML programming (1999) [51 citations — 0 self]
Download:
|
|
by John Hughes, Lars Pareto
In Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming
http://www.cs.chalmers.se/~indrika/wm99/Papers/pareto.ps.gz
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@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
Abstract:
During the last decade, declarative programming has found its way to large-scale industrial practice: Erlang [AVW93] is used by Ericsson to program telecommunication systems;
Citations
| 972 | Theory of Linear and Integer Programming – Schrijver - 1986 |
| 335 | The synchronous data flow programming language – Halbwachs, Caspi, et al. - 1991 |
| 257 | The mechanical evaluation of expressions – Landin - 1964 |
| 170 | A practical algorithm for exact array dependence analysis – Pugh - 1992 |
| 87 | Proving the correctness of reactive systems using sized types – Hughes, Pareto, et al. - 1996 |
| 68 | Concurrent Programming in Erlang – Armstrong, Virding, et al. - 1996 |
| 68 | Functional Programming Application and Implementation – Henderson - 1980 |
| 1 | Pareto, Sized types, Licentiate thesis – Lars - 1998 |
| 1 | Sized types, Licentiate thesis – Pareto - 1998 |
