{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:10:02Z","timestamp":1751983802295,"version":"3.41.2"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1998,12,1]],"date-time":"1998-12-01T00:00:00Z","timestamp":912470400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,12,1]],"date-time":"1998-12-01T00:00:00Z","timestamp":912470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order and Symbolic Computation"],"published-print":{"date-parts":[[1998,12]]},"DOI":"10.1023\/a:1010016600604","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T00:56:42Z","timestamp":1040605002000},"page":"209-225","source":"Crossref","is-referenced-by-count":10,"title":["Safe-for-Space Threads in Standard ML"],"prefix":"10.1007","volume":"11","author":[{"given":"Edoardo","family":"Biagioni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Cline","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Okasaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Stone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"187569_CR1","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/3-540-18317-5_17","volume":"274","author":"A.W. Appel","year":"1987","unstructured":"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\u2013324.","journal-title":"Proceedings of the Conference on Functional Programming Languages and Computer Architecture"},{"key":"187569_CR2","doi-asserted-by":"crossref","unstructured":"Biagioni, E., Harper, R., Lee, P., and Milnes, B.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\u201364, June 1994.","DOI":"10.1145\/182409.182431"},{"key":"187569_CR3","doi-asserted-by":"crossref","unstructured":"Clinger, W.D. Proper tail recursion and space efficiency. In ACM SIGPLAN '98 Conference on Programming Language Design and Implementation, pp. 174\u2013185, June 1998.","DOI":"10.1145\/277650.277719"},{"key":"187569_CR4","unstructured":"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."},{"key":"187569_CR5","doi-asserted-by":"crossref","unstructured":"Danvy, O. and Filinski, A. Abstracting control. In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pp. 151\u2013160, June 1990.","DOI":"10.1145\/91556.91622"},{"key":"187569_CR6","doi-asserted-by":"crossref","unstructured":"Felleisen, M. The theory and practice of first-class prompts. In Proceedings of the 15th ACM Symposium on Principles of Programming Languages, pp. 180\u2013190, Jan. 1988.","DOI":"10.1145\/73560.73576"},{"key":"187569_CR7","doi-asserted-by":"crossref","unstructured":"Gunter, C.A., R\u00e9my, 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\u201323, June 1995.","DOI":"10.1145\/224164.224173"},{"issue":"3-4","key":"187569_CR8","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0096-0551(86)90007-X","volume":"11","author":"C.T. Haynes","year":"1986","unstructured":"Haynes, C.T., Friedman, D.P., and Wand, M. Obtaining coroutines with continuations. Computer Languages, 11(3-4):143\u2013153, 1986.","journal-title":"Computer Languages"},{"key":"187569_CR9","doi-asserted-by":"crossref","unstructured":"Lee, P. Implementing threads in Standard ML. In Advanced Functional Programming, Lecture Notes in Computer Science, vol. 1129, pp. 115\u2013130, Aug. 1996.","DOI":"10.1007\/3-540-61628-4_4"},{"key":"187569_CR10","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1990","unstructured":"Milner, R., Tofte, M., and Harper, R. The Definition of Standard ML. The MIT Press, Cambridge, MA, 1990."},{"volume-title":"Systems Programming with MODULA-3","year":"1991","key":"187569_CR11","unstructured":"Nelson, G. (Ed.) Systems Programming with MODULA-3. Prentice Hall, Englewood Cliffs, NJ, 1991."},{"key":"187569_CR12","doi-asserted-by":"crossref","unstructured":"Reppy, J.H. CML: A higher-order concurrent language. In ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, pp. 293\u2013305, June 1991.","DOI":"10.1145\/113445.113470"},{"key":"187569_CR13","volume-title":"Higher-order concurrency","author":"J.H. Reppy","year":"1992","unstructured":"Reppy, J.H. Higher-order concurrency. Ph.D. thesis, Department of Computer Science, Cornell University, Ithaca, New York, Jan. 1992."},{"key":"187569_CR14","doi-asserted-by":"crossref","unstructured":"Wand, M. Continuation-based multiprocessing. In Proceedings of the 1980 LISP Conference, pp. 19\u201328, Aug. 1980.","DOI":"10.1145\/800087.802786"}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010016600604.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1010016600604\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010016600604.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T13:46:22Z","timestamp":1751982382000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1010016600604"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,12]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,12]]}},"alternative-id":["187569"],"URL":"https:\/\/doi.org\/10.1023\/a:1010016600604","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"type":"print","value":"1388-3690"},{"type":"electronic","value":"1573-0557"}],"subject":[],"published":{"date-parts":[[1998,12]]}}}