{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T14:51:15Z","timestamp":1758639075029,"version":"3.41.2"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"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":[[2001,12]]},"DOI":"10.1023\/a:1014403914699","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T20:35:40Z","timestamp":1041107740000},"page":"309-356","source":"Crossref","is-referenced-by-count":17,"title":["A Network Protocol Stack in Standard ML"],"prefix":"10.1007","volume":"14","author":[{"given":"Edoardo","family":"Biagioni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Harper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"397960_CR1","volume-title":"Compiling with Continuations","author":"A. Appel","year":"1992","unstructured":"Appel, A. Compiling with Continuations. Cambridge University Press, Cambridge, 1992."},{"key":"397960_CR2","doi-asserted-by":"crossref","unstructured":"Appel, A. and MacQueen, D. Standard ML of New Jersey. In Third International Symposium on Programming Languages Implementation and Logic Programming, J. Maluszynski and M. Wirsing (Eds.). New York, 1991, pp. 1-13.","DOI":"10.1007\/3-540-54444-5_83"},{"key":"397960_CR3","doi-asserted-by":"crossref","unstructured":"Bershad, B., Chambers, C., Eggers, S., Maeda, C., McNamee, D., Pardyak, P., Savage, S., and Sirer, E. SPIN-An extensible microkernel for application-specific operating system services. In SIGOPS 1994 European Workshop. Dagstuhl, Germany, 1994.","DOI":"10.21236\/ADA293537"},{"key":"397960_CR4","doi-asserted-by":"crossref","unstructured":"Biagioni, E. A structured TCP in Standard ML. In Proceedings, 1994 SIGCOMM Conference, London, UK, 1994, pp. 36-45.","DOI":"10.1145\/190314.190318"},{"key":"397960_CR5","unstructured":"Biagioni, E., Cline, K., Haines, N., and Milnes, B. FoxNet performance test code. Available at http:\/\/www.ics.hawaii.edu\/\u223cesb\/prof\/foxtest200004.tar.gz."},{"key":"397960_CR6","doi-asserted-by":"crossref","unstructured":"Biagioni, E., Cline, K., Lee, P., Okasaki, C., and Stone, C. Safe-for-space threads in Standard ML. Higher-Order and Symbolic Computation, 11(2) (1998).","DOI":"10.1023\/A:1010016600604"},{"key":"397960_CR7","doi-asserted-by":"crossref","unstructured":"Biagioni, E., Harper, R., Lee, P., and Milnes, B. Signatures for a network protocol stack-a systems application of Standard ML. In 1994 ACM Conference on Lisp and Functional Programming, Orlando, FL, 1994.","DOI":"10.1145\/182409.182431"},{"key":"397960_CR8","doi-asserted-by":"crossref","unstructured":"Clark, D. The structuring of systems using upcalls. In Proceedings of the 10th SOSP, Orcas Island, Washington, 1985, pp. 171-180.","DOI":"10.1145\/323647.323645"},{"key":"397960_CR9","unstructured":"Cooper, E. and Morrisett, J.G. Adding threads to Standard ML. Technical Report CMU-CS-90-186, Carnegie Mellon University, 1990."},{"issue":"12","key":"397960_CR10","doi-asserted-by":"crossref","first-page":"1334","DOI":"10.1109\/PROC.1983.12775","volume":"71","author":"J.D. Day","year":"1983","unstructured":"Day, J.D. and Zimmerman, H. The OSI reference model. In Proceedings of the IEEE, 71(12), (1983) 1334-1340.","journal-title":"Proceedings of the IEEE"},{"key":"397960_CR11","doi-asserted-by":"crossref","unstructured":"Derby, H. The performance of FoxNet 2.0. Technical Report CMU-CS-99-137, School of Computer Science, Carnegie Mellon University, 1999.","DOI":"10.21236\/ADA382622"},{"key":"397960_CR12","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W. Recursive programming. In Numerische Mathematik. 1960, pp. 312-318.","DOI":"10.1007\/BF01386232"},{"key":"397960_CR13","unstructured":"Ford, B., Back, G., Benson, G., Lepreau, J., Lin, A., and Shivers, O. The Flux OSKit: A substrate for kernel and language research. In Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles (SOSP-16), Saint-Malo, France."},{"key":"397960_CR14","volume-title":"Design and implementation of an operating system in Standard ML","author":"G. Fu","year":"1999","unstructured":"Fu, G. Design and implementation of an operating system in Standard ML. Master's Thesis, University of Hawai'i at M\u0101noa, 1999. Available at http:\/\/www.ics.hawaii.edu\/\u223cesb\/prof\/proj\/hello\/guangrui\/thesis\/."},{"key":"397960_CR15","unstructured":"Hayden, M. The Ensemble system. Ph.D. Thesis, Cornell University, 1998. Available at http:\/\/simon.cs.cornell.edu\/Info\/People\/hayden\/thesis.ps."},{"key":"397960_CR16","doi-asserted-by":"crossref","unstructured":"Kohler, E., Kaashoek, M.F., and Montgomery, D. A readable TCP in the Prolac protocol language. In SIGCOMM, 1999, pp. 3-13.","DOI":"10.1145\/316188.316200"},{"key":"397960_CR17","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. MIT Press, Cambridge, MA, 1990."},{"key":"397960_CR18","doi-asserted-by":"crossref","unstructured":"Milner, R., Tofte, M., Harper, R., and MacQueen, D. The Definition of Standard ML(Revised). MIT Press, 1997.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"397960_CR19","doi-asserted-by":"crossref","unstructured":"O'Malley, S. and Peterson, L. A dynamic network architecture. ACM Transactions on Computer Systems, 10(2) (1992).","DOI":"10.1145\/128899.128901"},{"key":"397960_CR20","doi-asserted-by":"crossref","unstructured":"O'Malley, S., Proebsting, T., and Montz, A.B. USC: A universal stub compiler. In Proceedings, 1994 SIGCOMM Conference, London (UK), 1994, pp. 295-306.","DOI":"10.1145\/190314.190341"},{"key":"397960_CR21","unstructured":"Reppy, J.H. CML: A higher-order concurrent language. In Proceedings of the SIGPLAN '91 Conference on Programming Language Design and Implementation."},{"key":"397960_CR22","unstructured":"RFC 0791 Internet protocol. Information Sciences Institute, USC, 1981."},{"key":"397960_CR23","unstructured":"RFC 0793 Transmission Control Protocol. Information Sciences Institute, USC, 1981."},{"key":"397960_CR24","unstructured":"RFC 1014 XDR: External data representation standard. Sun Microsystems, Inc. 1987."},{"key":"397960_CR25","unstructured":"RFC 1057 RPC: Remote procedure call protocol specification, Version 2. Sun Microsystems, Inc, 1988."},{"key":"397960_CR26","unstructured":"Shivers, O. Virtualisable threads. In Proceedings of the Second ACM SIGPLAN Workshop on Continuations, Jan 1997, Paris, France, O. Danvy (Ed.) vol. 2, pp. 1-15. Technical Report BRICS-NS-96-13, University of Aarhus."},{"key":"397960_CR27","unstructured":"Shivers, O. The Express Project, 2000. Available at http:\/\/www.ai.mit.edu\/projects\/express\/."},{"key":"397960_CR28","doi-asserted-by":"crossref","unstructured":"Thibault, S., Consel, C., Lawall, J.L., Marlet, R., and Muller G. Static and dynamic program compilation by interpreter specialization. Higher-Order and Symbolic Computation, 13(3) (2000).","DOI":"10.1023\/A:1010078412711"},{"issue":"3","key":"397960_CR29","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1023\/A:1010093700911","volume":"12","author":"M. Wand","year":"1999","unstructured":"Wand, M. Continuation-based multiprocessing. Higher-Order and Symbolic Computation, 12(3) 1999, 285-299. Reprinted from the proceedings of the 1980 Lisp Conference.","journal-title":"Higher-Order and Symbolic Computation"}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1014403914699.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1014403914699\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1014403914699.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T13:52:35Z","timestamp":1751982755000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1014403914699"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2001,12]]}},"alternative-id":["397960"],"URL":"https:\/\/doi.org\/10.1023\/a:1014403914699","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"type":"print","value":"1388-3690"},{"type":"electronic","value":"1573-0557"}],"subject":[],"published":{"date-parts":[[2001,12]]}}}