{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:25:55Z","timestamp":1725564355391},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540237273"},{"type":"electronic","value":"9783540278610"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27861-0_3","type":"book-chapter","created":{"date-parts":[[2010,9,7]],"date-time":"2010-09-07T03:26:45Z","timestamp":1283830005000},"page":"36-52","source":"Crossref","is-referenced-by-count":4,"title":["A Functional Shell That Dynamically Combines Compiled Code"],"prefix":"10.1007","author":[{"given":"Arjen","family":"van Weelden","sequence":"first","affiliation":[]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Plasmeijer, R., van Eekelen, M.: Concurrent Clean Language Report version 2.1. University of Nijmegen (November 2002), \n                      \n                        http:\/\/cs.kun.nl\/~clean"},{"key":"3_CR2","unstructured":"Jones, S.P., Hughes, J., et al.: Report on the programming language Haskell 98. University of Yale (1999), \n                      \n                        http:\/\/www.haskell.org\/definition\/"},{"key":"3_CR3","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. Weelden van","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":"3_CR4","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":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","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. 169\u2013185. Springer, Heidelberg (1999)"},{"key":"3_CR6","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":"3_CR7","unstructured":"Abadi, M., Cardelli, L., Pierce, B., Plotkin, G., R\u00e8my, D.: Dynamic Typing in Polymorphic Languages. In: Proceedings of the ACM SIGPLAN Workshop on ML and its Applications, San Francisco (June 1992)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Jones, S.L.P., 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\/301618.301637"},{"key":"3_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":"3_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":"3_CR11","volume-title":"Introduction to Combinators and \u03bb- Calculus","author":"J. Roger Hindley","year":"1986","unstructured":"Roger Hindley, J., Seldin, J.P.: Introduction to Combinators and \u03bb- Calculus. Cambridge University Press, Cambridge (1986)"},{"key":"3_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":"3_CR13","volume-title":"The Implementation of Functional Programming Languages","author":"S.L.P. Jones","year":"1987","unstructured":"Jones, S.L.P.: The Implementation of Functional Programming Languages. Prentice-Hall, Englewood Cliffs (1987)"},{"key":"3_CR14","unstructured":"Haahr, P., Rakitzis, B.: Es: A Shell with Higher-order Functions. In: Proceedings of the USENIX Winter 1993 Technical Conference, pp. 51\u201360 (1993)"},{"key":"3_CR15","unstructured":"Mattson, J.: The Haskell Shell, \n                      \n                        http:\/\/www.informatik.uni-bonn.de\/~ralf\/software\/examples\/Hsh.html"},{"key":"3_CR16","unstructured":"Ousterhout, J.K.: Tcl: An Embeddable Command Language. In: Proceedings of the USENIX Winter 1990 Technical Conference, Berkeley, CA, pp. 133\u2013146 (1990), USENIX Association"},{"key":"3_CR17","unstructured":"Shivers, O.: A Scheme Shell. Technical Report MIT\/LCS\/TR-635 (1994)"},{"key":"3_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), \n                      \n                        http:\/\/cvs.haskell.org\/Hugs\/"},{"key":"3_CR19","unstructured":"Pat Niemeyer. Beanshell 2.0., \n                      \n                        http:\/\/www.beanshell.org"}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27861-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T03:47:20Z","timestamp":1553053640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27861-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540237273","9783540278610"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27861-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}