{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:30Z","timestamp":1725487110548},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401902"},{"type":"electronic","value":"9783540448549"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44854-3_14","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T11:56:07Z","timestamp":1184586967000},"page":"215-231","source":"Crossref","is-referenced-by-count":9,"title":["Towards a Strongly Typed Functional Operating System"],"prefix":"10.1007","author":[{"given":"Arjen","family":"van Weelden","sequence":"first","affiliation":[]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"14_CR1","unstructured":"S. Peyton Jones and J. Hughes et al. Report on the programming language Haskell 98. University of Yale, 1999. http:\/\/www.haskell.org\/definition\/"},{"key":"14_CR2","unstructured":"M. J. Plasmeijer and M. C. J. D. van Eekelen. Functional Programming and Parallel Graph Rewriting. Addison Wesley, 1993."},{"key":"14_CR3","unstructured":"M. van Eekelen and R. Plasmeijer. Concurrent CLEAN Language Report (version 2.0, draft). University of Nijmegen, December 2001. http:\/\/www.cs.kun.nl\/~clean ."},{"issue":"2","key":"14_CR4","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"M. Abadi","year":"1991","unstructured":"M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic Typing in a Statically Typed Language. ACM Transactions on Programming Languages and Systems, 13(2):237\u2013268, April 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"14_CR5","series-title":"Lect Notes Comput Sci","first-page":"171","volume-title":"Proceedings of the 10th International Workshop on the Implementation of Functional Languages","author":"M. Pil","year":"1998","unstructured":"M. Pil. Dynamic Types and Type Dependent Functions. In T. Davie K. Hammond and C. Clack, editors, Proceedings of the 10th International Workshop on the Implementation of Functional Languages, volume 1595 of Lecture Notes in Computer Science, pages 171\u2013188. Springer-Verlag, 1998."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"M. Vervoort and R. Plasmeijer. Lazy Dynamic Input\/Output in the Lazy Functional Language Clean. In R. Pe\u00f1a and T. Arts, editors, Proceedings of the 14th International Workshop on the Implementation of Functional Languages, Lecture Notes in Computer Science. Springer-Verlag, 2002.","DOI":"10.1007\/3-540-44854-3_7"},{"key":"14_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-54152-7_66","volume-title":"PARLE\u2019 91: Parallel Architectures and Languages Europe, Volume II","author":"E.G.J.M.H. Nocker","year":"1991","unstructured":"E.G.J.M.H. Nocker, J.E.W. Smetsers, M.C.J.D. van Eekelen, and M.J. Plasmeijer. Concurrent Clean. In E.H.L. Aarts, J. van Leeuwen, and M. Rem, editors, PARLE\u2019 91: Parallel Architectures and Languages Europe, Volume II, volume 506 of Lecture Notes in Computer Science, pages 202\u2013219. Springer, 1991."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"M. Wand. Continuation-Based Multiprocessing. In J. Allen, editor, Conference Record of the 1980 LISP Conference, pages 19\u201328, Palo Alto, CA, 1980. The Lisp Company.","DOI":"10.1145\/800087.802786"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"K. Claessen. A Poor Man\u2019s Concurrency Monad. Journal of Functional Programming, 9, May 1999.","DOI":"10.1017\/S0956796899003342"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"S. Peyton Jones, A. Gordon, and S. Finne. Concurrent Haskell. In Conference Record of POPL\u2019 96: The 23 rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 295\u2013308, St. Petersburg Beach, Florida, 21\u201324 1996.","DOI":"10.1145\/237721.237794"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"S. Marlow, S.L. Peyton Jones, A. Moran, and J.H. Reppy. Asynchronous Exceptions in Haskell. In SIGPLAN Conference on Programming Language Design and Implementation, pages 274\u2013285, 2001.","DOI":"10.1145\/378795.378858"},{"key":"14_CR12","unstructured":"V. Stolz and F. Huch. Implementation of Port-based Distributed Haskell, 2001. http:\/\/www-i2.informatik.rwth-aachen.de\/Research\/distributedHaskell\/ifl.2001.ps.gz"},{"key":"14_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/3-540-45361-X_7","volume-title":"Implementation of Functional Languages, 12th International Workshop, IFL 2000","author":"F. Huch","year":"2000","unstructured":"F. Huch and U. Norbisrath. Distributed Programming in Haskell with Ports. In M. Mohnen and P.W.M. Koopman, editors, Implementation of Functional Languages, 12th International Workshop, IFL 2000, volume 2011 of Lecture Notes in Computer Science, pages 107\u2013121. Springer, September 2000."},{"key":"14_CR14","unstructured":"E.C. Cooper and J.G. Morrisett. Adding Threads to Standard ML. Technical Report CMU-CS-90-186, Pittsburgh, PA, 1990."},{"key":"14_CR15","unstructured":"A.C. Lin. Implementing Concurrency For An ML-based Operating System. PhD thesis, Massachusetts Institute of Technology, February 1998."},{"key":"14_CR16","unstructured":"J. Armstrong, R. Virding, C. Wikstr\u00f6m, and M. Williams. Concurrent Programming in Erlang. Prentice-Hall, second edition, 1996."},{"key":"14_CR17","unstructured":"G. Back, P. Wullmann, L. Stoller, W. C. Hsieh, and J. Lepreau. Java Operating Systems: Design and Implementation. Technical Report UUCS-98-015, 6, 1998."},{"key":"14_CR18","unstructured":"O. Shivers. A Scheme Shell. Technical Report MIT\/LCS\/TR-635, 1994."},{"key":"14_CR19","unstructured":"P. Haahr and B. Rakitzis. Es: A shell with higher-order functions. In USENIX Winter, pages 51\u201360, 1993."}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44854-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:15:38Z","timestamp":1556666138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44854-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401902","9783540448549"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-44854-3_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}