Safe-for-Space Threads in Standard ML

Higher-Order and Symbolic Computation

Volumn 11, Issue 2, 1998, Pages 209-225

  Biagioni, Edoardo ^a   Cline, Ken ^a   Lee, Peter ^a   Okasaki, Chris ^a   Stone, Chris ^a  

^a Carnegie Mellon University   (United States)

Author keywords

Continuations; Coroutines; Space safety; Standard ML; Threads

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; FORMAL LOGIC;

SAFE-FOR-SPACE THREADS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0032303603     PISSN: 13883690     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1010016600604     Document Type: Article

References (14)

1. Appel, A.W. and MacQueen, D.B. A Standard ML compiler. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture, Lecture Notes in Computer Science. Springer-Verlag, 1987, vol. 274, pp. 301-324.
2. Biagioni, E., Harper, R., Lee, P., and Milnes, E.G. Signatures for a protocol stack: A systems application of Standard ML. In Proceedings of the 1994 ACM Conference on Lisp and Functional Programming, Orlando, pp. 55-64, June 1994.
3. Clinger, W.D. Proper tail recursion and space efficiency. In ACM SIGPLAN '98 Conference on Programming Language Design and Implementation, pp. 174-185, June 1998.
4. Cooper, E.C. and Morrisett, J.G. Adding threads to Standard ML. Technical Report CMU-CS-90-186, School of Computer Science, Carnegie Mellon University, Dec. 1990.
5. Danvy, O. and Filinski, A. Abstracting control. In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pp. 151-160, June 1990.
6. Felleisen, M. The theory and practice of first-class prompts. In Proceedings of the 15th ACM Symposium on Principles of Programming Languages, pp. 180-190, Jan. 1988.
7. Gunter, C. A., Rémy, D., and Riecke, J.G. A generalization of exceptions and control in ML-like languages. In Proceedings of the 1995 Conference on Functional Programming Languages and Computer Architecture, pp. 12-23, June 1995.
8. Haynes, C.T., Friedman, D.P., and Wand, M. Obtaining coroutines with continuations. Computer Languages, 11(3-4):143-153, 1986.
9. Lee, P. Implementing threads in Standard ML. In Advanced Functional Programming, Lecture Notes in Computer Science, vol. 1129, pp. 115-130, Aug. 1996.
10. Milner, R., Tofte, M., and Harper, R. The Definition of Standard ML. The MIT Press, Cambridge, MA, 1990.
11. Nelson, G. (Ed.) Systems Programming with MODULA-3. Prentice Hall, Englewood Cliffs, NJ, 1991.
12. Reppy, J.H. CML: A higher-order concurrent language. In ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, pp. 293-305, June 1991.
13. Reppy, J.H. Higher-order concurrency. Ph.D. thesis, Department of Computer Science, Cornell University, Ithaca, New York, Jan. 1992.
14. Wand, M. Continuation-based multiprocessing. In Proceedings of the 1980 LISP Conference, pp. 19-28, Aug. 1980.