{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:47:34Z","timestamp":1743054454507,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540285403"},{"type":"electronic","value":"9783540318729"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11546382_6","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:44:25Z","timestamp":1127832265000},"page":"245-272","source":"Crossref","is-referenced-by-count":3,"title":["A Functional Shell That Operates on Typed and Compiled Applications"],"prefix":"10.1007","author":[{"given":"Rinus","family":"Plasmeijer","sequence":"first","affiliation":[]},{"given":"Arjen","family":"van Weelden","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Peyton Jones, S., Hughes, J., et al.: Report on the programming language Haskell 1998. University of Yale (1999), \nhttp:\/\/www.haskell.org\/definition\/"},{"key":"6_CR2","volume-title":"Functional Programming and Parallel Graph Rewriting","author":"M.J. Plasmeijer","year":"1993","unstructured":"Plasmeijer, M.J., van Eekelen, M.C.J.D.: Functional Programming and Parallel Graph Rewriting. Addison Wesley, Reading (1993)"},{"key":"6_CR3","unstructured":"Plasmeijer, R., van Eekelen, M.: Concurrent Clean Language Report version 2.1, November 2002. University of Nijmegen (2002), \nhttp:\/\/cs.kun.nl\/~clean"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/3-540-44854-3_14","volume-title":"Implementation of Functional Languages","author":"A. van Weelden","year":"2003","unstructured":"van Weelden, A., Plasmeijer, R.: Towards a Strongly Typed Functional Operating System. In: Pe\u00f1a, R., Arts, T. (eds.) IFL 2002. LNCS, vol.\u00a02670, pp. 215\u2013231. Springer, Heidelberg (2003)"},{"issue":"2","key":"6_CR5","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic Typing in a Statically Typed Language. ACM Transactions on Programming Languages and Systems\u00a013(2), 237\u2013268 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/3-540-48515-5_11","volume-title":"Implementation of Functional Languages","author":"M. Pil","year":"1999","unstructured":"Pil, M.: Dynamic Types and Type Dependent Functions. In: Hammond, K., Davie, T., Clack, C. (eds.) IFL 1998. LNCS, vol.\u00a01595, pp. 171\u2013188. Springer, Heidelberg (1999)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/3-540-44854-3_7","volume-title":"Implementation of Functional Languages","author":"M. Vervoort","year":"2003","unstructured":"Vervoort, M., Plasmeijer, R.: Lazy Dynamic Input\/Output in the Lazy Functional Language Clean. In: Pe\u00f1a, R., Arts, T. (eds.) IFL 2002. LNCS, vol.\u00a02670, pp. 101\u2013117. Springer, Heidelberg (2003)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S.L., Reid, A., Henderson, F., Hoare, C.A.R., Marlow, S.: A Semantics for Imprecise Exceptions. In: SIGPLAN Conference on Programming Language Design and Implementation, pp. 25\u201336 (1999)","DOI":"10.1145\/301631.301637"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF01448013","volume":"92","author":"M. Sch\u00f6nfinkel","year":"1924","unstructured":"Sch\u00f6nfinkel, M.: \u00dcber die Bausteine der mathematischen Logik. Mathematische Annalen\u00a092, 305\u2013316 (1924)","journal-title":"Mathematische Annalen"},{"key":"6_CR10","volume-title":"Combinatory Logic","author":"H.B. Curry","year":"1958","unstructured":"Curry, H.B., Feys, R.: Combinatory Logic, vol.\u00a01. North-Holland, Amsterdam (1958)"},{"key":"6_CR11","volume-title":"Introduction to Combinators and lambda-Calculus","author":"J. Roger Hindley","year":"1986","unstructured":"Roger Hindley, J., Seldin, J.P.: Introduction to Combinators and lambda-Calculus. Cambridge University Press, Cambridge (1986) ISBN 0521268966"},{"key":"6_CR12","volume-title":"Compiling Functional Languages","author":"A. Diller","year":"1988","unstructured":"Diller, A.: Compiling Functional Languages. John Wiley and Feys Sons Ltd., Chichester (1988)"},{"key":"6_CR13","volume-title":"The Implementation of Functional Programming Languages","author":"S.L. Peyton Jones","year":"1987","unstructured":"Peyton Jones, S.L.: The Implementation of Functional Programming Languages. Prentice-Hall, Englewood Cliffs (1987)"},{"key":"6_CR14","unstructured":"Haahr, P., Rakitzis, B.: ES: A shell with higher-order functions. In: USENIX, pp. 51\u201360 (Winter 1993)"},{"key":"6_CR15","unstructured":"Mattson, J.: The Haskell Shell, http:\/\/www.informatik.uni\u2013bonn.de\/~ralf\/software\/examples\/Hsh.html"},{"key":"6_CR16","unstructured":"Ousterhout, J.K.: Tcl: An Embeddable Command Language. In: Proceedings of the USENIX Winter 1990 Technical Conference, Berkeley, CA, pp. 133\u2013146. USENIX Association (1990)"},{"key":"6_CR17","unstructured":"Shivers, O.: A Scheme Shell. Technical Report MIT\/LCS\/TR-635 (1994)"},{"key":"6_CR18","unstructured":"Jones, M.P., Reid, A.: The Yale Haskell Group, the OGI School of Science, and Engineering at OHSU. The Hugs 98 User Manual (1994\u20132002), \nhttp:\/\/cvs.haskell.org\/Hugs\/"},{"key":"6_CR19","unstructured":"Niemeyer, P.: Beanshell 2.0, \nhttp:\/\/www.beanshell.org"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S., Gordon, A., Finne, S.: Concurrent Haskell. In: Conference Record of POPL 1996: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, 21\u201324, pp. 295\u2013308 (1996)","DOI":"10.1145\/237721.237794"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/3-540-54152-7_66","volume-title":"PARLE \u201991. Parallel Architectures and Languages Europe","author":"E.G.J.M.H. Nocker","year":"1991","unstructured":"Nocker, E.G.J.M.H., Smetsers, J.E.W., van Eekelen, M.C.J.D., Plasmeijer, M.J.: Concurrent Clean. In: Aarts, E.H.L., van Leeuwen, J., Rem, M. (eds.) PARLE 1991. LNCS, vol.\u00a0506, pp. 202\u2013219. Springer, Heidelberg (1991)"},{"key":"6_CR22","unstructured":"Lin, A.C.: Implementing Concurrency For An ML-based Operating System. PhD thesis, Massachusetts Institute of Technology (February 1998)"},{"key":"6_CR23","unstructured":"Cooper, E.C., Morrisett, J.G.: Adding Threads to Standard ML. Technical Report CMU-CS-90-186, Pittsburgh, PA (1990)"},{"key":"6_CR24","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1996","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent Programming in Erlang, 2nd edn. Prentice-Hall, Englewood Cliffs (1996)","edition":"2"},{"key":"6_CR25","unstructured":"Back, G., Wullmann, P., Stoller, L., Hsieh, W.C., Lepreau, J.: Java Operating Systems: Design and Implementation. Technical Report UUCS-98-015, 6 (1998)"}],"container-title":["Lecture Notes in Computer Science","Advanced Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/11546382_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,6]],"date-time":"2021-07-06T06:03:28Z","timestamp":1625551408000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/11546382_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540285403","9783540318729"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11546382_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}