Safe-for-space threads in standard ML

DOI10.1023/A:1010016600604MaRDI QIDQ1290335zbMATH OpenFDO

Authors K. Appert, Edoardo Biagioni, Ken Cline, Peter Lee, Chris Okasaki, Chris Stone

Publication date 16 August 1999

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1010016600604

zbMATH Keywords

standard ML

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A model of cooperative threads
• A model of cooperative threads
• Continuation-passing C, compiling threads to events through continuations
• Concurrent Programming in ML
• Parallel concurrent ML

Cited in

(1)

• Integrating user-level threads with processes in scsh

This page was built for publication: Safe-for-space threads in standard ML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1290335)