{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:52:59Z","timestamp":1725605579722},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642642494"},{"type":"electronic","value":"9783642600852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60085-2_9","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T07:03:26Z","timestamp":1315465406000},"page":"209-227","source":"Crossref","is-referenced-by-count":0,"title":["How Enterprises Use Functional Languages, and Why They Don\u2019t"],"prefix":"10.1007","author":[{"given":"Philip","family":"Wadler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Joe Armstrong. The development of Erlang. ACM SIGPLAN International Conference on Functional Programming, June 1997; SIGPLAN Notices 32(8):196\u2013203, August 1997. Also see the Erlang page: http:\/\/www.erlang.se .","DOI":"10.1145\/258949.258967"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1145\/258994.259012","volume":"32(12)","author":"L Augustsson","year":"1997","unstructured":"Lennart Augustsson. Partial evaluation in aircraft crew planning. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation., June 1997; SIGPLAN Notices 32(12):127\u2013136, December 1997.","journal-title":"SIGPLAN Notices"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Edoardo Biagioni, Robert Harper, Peter Lee, and Brian G. Milnes. Signatures for a network protocol stack: A systems application of Standard ML. ACM Conference on Lisp and Functional Programming, 1994. Also see the Fox Project page: http:\/\/foxnet.cs.emu.edu .","DOI":"10.1145\/182409.182431"},{"key":"9_CR4","unstructured":"P. Buneman, S. B. Davidson, K. Hart, C. Overton, and L. Wong. A Data Transformation System for Biological Data Sources. Proceedings of 21st International Conference on Very Large Data Bases, Zurich, Switzerland, September 1995. Also see the Kleisli page: http:\/\/sdmc.iss.nus.sg\/kleisli\/Morelnfo.html ."},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/181550.181564","volume":"23(l)","author":"P Buneman","year":"1994","unstructured":"P. Buneman, L. Libkin, D. Suciu, V. Tannen, and L. Wong. Comprehension Syntax. ACM SIGMOD Record 23(l):87\u201396, March 1994. (Invited paper.).","journal-title":"ACM SIGMOD Record"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Albert J. Camilleri. A hybrid approach to verifying liveness in a symmetric multiprocessor. 10\u2019th International Conference on Theorem Proving in Higher- Order Logics, Elsa Gunter and Amy Felty, editors, Murray Hill, New Jersey, August 1997. Lecture Notes in Computer Science 1275, Springer Verlag, 1997.","DOI":"10.1007\/BFb0028385"},{"key":"9_CR7","first-page":"173","volume-title":"A tool for developing safe and efficient database transactions. XV International Switching Symposium of the World Telecommunications Congress","author":"S Corrico","year":"1995","unstructured":"Sandra Corrico, Bryan Ewbank, Tim Griffin, John Meale, and Howard Trickey. A tool for developing safe and efficient database transactions. XV International Switching Symposium of the World Telecommunications Congress, pages 173\u2013177, April 1995."},{"key":"9_CR8","unstructured":"Robert J. Robbins, Editor. Report of the Invitational DOE Workshop on Genome Informatics, 26\u201327 April 1993. http:\/\/www.bis.med.jhmi.edu\/Dan\/DOE\/whitepaper\/contents.html ."},{"key":"9_CR9","first-page":"196","volume":"32(8)","author":"C Elliot","year":"1997","unstructured":"Conal Elliot and Paul Hudak. Functional reactive animation. ACM SIGPLAN International Conference on Functional Programming, June 1997; SIGPLAN Notices 32(8):196\u2013203, August 1997.","journal-title":"SIGPLAN Notices"},{"key":"9_CR10","volume-title":"MLRISC: Customizable and Reusable Code Generators, Bell Labs technical report","author":"L George","year":"1997","unstructured":"Lai George , MLRISC: Customizable and Reusable Code Generators, Bell Labs technical report, May 1997.www.cs.bell-labs.com\/cm\/cs\/what\/smlnj\/doc\/MLRISC\/."},{"issue":"2","key":"9_CR11","first-page":"43","volume":"17","author":"T Griffin","year":"1994","unstructured":"T. Griffin and H. Trickey, Integrity Maintenance in a Telecommunications Switch, IEEE Data Engineering Bulletin, Special Issue on Database Constraint Management, 17(2) : 43\u201346, 1994.","journal-title":"IEEE Data Engineering Bulletin, Special Issue on Database Constraint Management"},{"key":"9_CR12","unstructured":"M. J. Gordon and T. F. Melham, editors. Introduction to HOL: A theorem proving environment for higher-order logic. Cambridge University Press, 1993. Also see the HOL page: http:\/\/www.dcs.glasgow.ac.uk\/ tfm\/fmt\/hol.html."},{"key":"9_CR13","volume-title":"Edinburgh LCF. Lecture Notes in Computer Science","author":"M Gordon","year":"1979","unstructured":"M. Gordon, R. Milner, and C. Wadsworth. Edinburgh LCF. Lecture Notes in Computer Science, Vol. 78, Springer-Verlag, 1979."},{"key":"9_CR14","unstructured":"Gopal Gupta, chair, First International Conference on Practical Aspects of Declarative Languages. http:\/\/www.cs.nsmsu.edu\/ complog\/conferences\/padl99\/."},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1017\/S0956796800001891","volume":"6(4)","author":"P Hartel","year":"1996","unstructured":"Pieter Hartel, et al. Benchmarking implementations of functional languages with \u2018Pseudoknot\u2019, a float-intensive benchmark. Journal of Functional Programming, 6(4):621\u2013656, July 1996.","journal-title":"Journal of Functional Programming"},{"key":"9_CR16","unstructured":"Mark Hayden and Robbert vanRenesse. Optimizing Layered Communication Protocols. Symposium on High Performance Distributed Computing, Portland, Oregon, August 1997. Also see the Ensemble page: http:\/\/simon.cs.Cornell.edu\/Info\/Projects\/Ensemble\/ ."},{"key":"9_CR17","unstructured":"J. Hughes and S. Peyton Jones, editors, Standard Haskell, www.cs.Chalmers.se\/ rjmh\/Haskell\/."},{"issue":"2","key":"9_CR18","first-page":"163","volume":"7","author":"WO Nigel","year":"1997","unstructured":"Nigel W. O. Hutchison, Ute Neuhaus, Manfred Schmidt-Schauss, and Cordy Hall. Natural Expert: a commercial functional programming environment. Journal of Functional Programming, 7(2):163\u2013182, March 1997.","journal-title":"Natural Expert: a commercial functional programming environment. Journal of Functional Programming"},{"key":"9_CR19","unstructured":"S. Alexander Jacobson alex@i2x. com, letter to Haskell mailing list, 3 May 1998."},{"key":"9_CR20","volume-title":"Lazy functional state threads","author":"J Launchbury","year":"1994","unstructured":"J. Launchbury and S. L. Peyton Jones, Lazy functional state threads. In ACM Conference on Programming Language Design and Implementation, Orlando, Florida, 1994."},{"key":"9_CR21","volume-title":"Lecture Notes in Computer Science 1349","author":"MA Ozols","year":"1997","unstructured":"M.A. Ozols, K. A. Eastaughffe, and A. Cant. DOVE: Design Oriented Verification and Evaluation. Proceedings of AM AST 97, M. Johnson, editor, Sydney, Australia. Lecture Notes in Computer Science 1349, Springer Verlag, 1997."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Lawrence C. Paulson. Isabelle: A Generic Theorem Prover. Springer-Verlag LNCS 828, 1994. Also see the Isabelle page: http:\/\/www.cl.cam.ac.uk\/Research\/HVG\/Isabelle\/ .","DOI":"10.1007\/BFb0030541"},{"key":"9_CR23","unstructured":"Rinus Plasmeijer and Marko van Eekelen, Pure and efficient functional programming using the \u201cunique\u201d features of Clean.ACM SIGPLAN Notices, to appear."},{"key":"9_CR24","unstructured":"Simon Peyton Jones, Erik Meijer, and Daan Leijen. Scripting COM components in Haskell. IEEE Fifth International Conference on Software Reuse, Vancouver, BC, June 1998. http:\/\/www.haskell.org\/active\/activehaskell.html"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Simon Peyton Jones and Philip Wadler. Editorial: Practice and experience papers, Journal of Functional Programming, May 1998. Also see the JFP page: http:\/\/www.dcs.glasgow.ac.uk\/jfp\/ .","DOI":"10.1017\/S0956796898003049"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"P. Sansom and S. Peyton Jones, Formally-based profiling for higher-order functional languages, ACM Transactions on Programming Languages and Systems, 19(1), January 1997.","DOI":"10.1145\/244795.244802"},{"issue":"2","key":"9_CR27","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1017\/S0956796800001313","volume":"5","author":"A Tolmach","year":"1995","unstructured":"Andrew Tolmach and Andrew Appel, A Debugger for Standard ML. Journal of Functional Programming, 5(2):155\u2013200, April 1995.","journal-title":"Journal of Functional Programming"},{"issue":"3","key":"9_CR28","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1145\/262009.262011","volume":"29","author":"P Wadler","year":"1997","unstructured":"Philip Wadler. How to declare an imperative. ACM Computing Surveys, 29(3):240\u2013263, September 1997.","journal-title":"ACM Computing Surveys"},{"key":"9_CR29","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/274930.274933","volume":"33(2)","author":"P Wadler","year":"1998","unstructured":"Philip Wadler, An angry half-dozen, ACM SIGPLAN Notices 33(2):25\u201330, February 1998. [N.B. Table of contents on the cover of this issue is wrong.].","journal-title":"ACM SIGPLAN Notices"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Philip Wadler, Why no one uses functional languages, ACM SIGPLAN Notices 33, 1998.","DOI":"10.1145\/286385.286387"},{"key":"9_CR31","unstructured":"Philip Wadler. Functional programming in the real world, http:\/\/www.cs.bell-labs wadler\/realword\/."}],"container-title":["Artificial Intelligence","The Logic Programming Paradigm"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60085-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,3]],"date-time":"2021-12-03T17:31:29Z","timestamp":1638552689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60085-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783642642494","9783642600852"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60085-2_9","relation":{},"ISSN":["1431-0066"],"issn-type":[{"type":"print","value":"1431-0066"}],"subject":[],"published":{"date-parts":[[1999]]}}}