{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T22:59:05Z","timestamp":1777503545138,"version":"3.51.4"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,5,2]],"date-time":"2017-05-02T00:00:00Z","timestamp":1493683200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Minds & Machines"],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1007\/s11023-017-9432-7","type":"journal-article","created":{"date-parts":[[2017,5,2]],"date-time":"2017-05-02T10:16:31Z","timestamp":1493720191000},"page":"449-472","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["AI and the Origins of the Functional Programming Language Style"],"prefix":"10.1007","volume":"27","author":[{"given":"Mark","family":"Priestley","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,2]]},"reference":[{"key":"9432_CR1","doi-asserted-by":"crossref","unstructured":"Backus, J. (1973). Programming language semantics and closed applicative languages. In Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on principles of programming languages (pp. 71\u201386).","DOI":"10.1145\/512927.512934"},{"issue":"8","key":"9432_CR2","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J Backus","year":"1978","unstructured":"Backus, J. (1978). Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communications of the ACM, 21(8), 613\u2013641.","journal-title":"Communications of the ACM"},{"key":"9432_CR3","first-page":"25","volume":"1981","author":"J Backus","year":"1981","unstructured":"Backus, J. (1981). The history of FORTRAN I, II, and III. In Wexelblat, 1981, 25\u201345.","journal-title":"In Wexelblat"},{"key":"9432_CR4","volume-title":"Pioneer programmer","author":"JJ Bartik","year":"2013","unstructured":"Bartik, J. J. (2013). Pioneer programmer. Kirksville: Truman State University Press."},{"key":"9432_CR5","unstructured":"Benington, H. D. (1956). Production of large computer programs. In Symposium on advanced programming methods for digital computers, ONR Symposium Report ACR-15, 15\u201328. (Office of Naval Research, Washington, DC, June 28-9, 1956.)"},{"issue":"4","key":"9432_CR6","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/MAHC.1983.10102","volume":"5","author":"HD Benington","year":"1983","unstructured":"Benington, H. D. (1983). Production of large computer programs. Annals of the History of Computing, 5(4), 350\u2013361.","journal-title":"Annals of the History of Computing"},{"key":"9432_CR7","first-page":"96","volume-title":"The programming language LISP: Its operation and applications","author":"F Black","year":"1964","unstructured":"Black, F. (1964). Styles of programming in LISP. In E. C. Berkeley & D. G. Bobrow (Eds.), The programming language LISP: Its operation and applications (pp. 96\u2013107). Cambridge: MIT Press."},{"key":"9432_CR8","volume-title":"Mind as machine: A history of cognitive science","author":"MA Boden","year":"2006","unstructured":"Boden, M. A. (2006). Mind as machine: A history of cognitive science (Vol. 2). Oxford: Oxford University Press."},{"key":"9432_CR9","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198508410.001.0001","volume-title":"The history of mathematical tables: From summer to spreadsheets","author":"M Campbell-Kelly","year":"2003","unstructured":"Campbell-Kelly, M., Croarken, M., Flood, R., & Robson, E. (2003). The history of mathematical tables: From Sumer to spreadsheets. Oxford: Oxford University Press."},{"key":"9432_CR10","unstructured":"Church, A. (1941). The calculi of lambda-conversion. (Annals of Mathematics Series, Number 6, Princeton: Princeton University Press.)"},{"key":"9432_CR11","unstructured":"Curry, H. B. (1949). On the composition of programs for automatic computing. (Naval Ordnance Laboratory Memorandum 9805, 26 January 1949)."},{"key":"9432_CR12","unstructured":"Curry, H. B., & Wyatt, W. A. (1946). A study of inverse interpolation of the Eniac. (Ballistic Research Laboratory, Aberdeen Proving Ground, MD. Report No. 615. 19 August, 1946.)"},{"key":"9432_CR13","doi-asserted-by":"crossref","unstructured":"Dinneen, G. P. (1955). Programming pattern recognition. In Proceedings of the Western Joint Computer Conference (pp. 94\u2013100).","DOI":"10.1145\/1455292.1455311"},{"key":"9432_CR14","volume-title":"Computers and thought","year":"1963","unstructured":"Feigenbaum, E. A., & Feldman, J. (Eds.). (1963). Computers and thought. New York: McGraw-Hill."},{"issue":"8","key":"9432_CR15","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/359138.359140","volume":"22","author":"RW Floyd","year":"1979","unstructured":"Floyd, R. W. (1979). The paradigms of programming. Communications of the ACM, 22(8), 455\u2013460.","journal-title":"Communications of the ACM"},{"issue":"2","key":"9432_CR16","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/321021.321022","volume":"7","author":"H Gelernter","year":"1960","unstructured":"Gelernter, H., Hansen, J. R., & Gerberich, C. L. (1960). A Fortran-compiled list-processing language. Journal of the ACM, 7(2), 87\u2013101.","journal-title":"Journal of the ACM"},{"key":"9432_CR17","unstructured":"Goldstine, H. H., von Neumann, J. (1947). Planning and coding of problems for an electronic computing instrument. Part II, Volume 1. (Institute of Advanced Study, NJ. 1 April, 1947.)"},{"issue":"3","key":"9432_CR18","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1109\/MAHC.1990.10029","volume":"12","author":"I Grattan-Guinness","year":"1990","unstructured":"Grattan-Guinness, I. (1990). Work for the hairdressers: The production of de Prony\u2019s logarithmic and trigonometric tables. Annals of the History of Computing, 12(3), 177\u2013185.","journal-title":"Annals of the History of Computing"},{"key":"9432_CR19","volume-title":"When computers were human","author":"DA Grier","year":"2005","unstructured":"Grier, D. A. (2005). When computers were human. Princeton: Princeton University Press."},{"key":"9432_CR20","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9780262033985.001.0001","volume-title":"ENIAC in action: Making and remaking the modern computer","author":"T Haigh","year":"2016","unstructured":"Haigh, T., Priestley, M., & Rope, C. (2016). ENIAC in action: Making and remaking the modern computer. Cambridge: MIT Press."},{"key":"9432_CR21","volume-title":"A manual of operation for the Automatic Sequence Controlled Calculator","author":"Harvard","year":"1946","unstructured":"Harvard. (1946). A manual of operation for the Automatic Sequence Controlled Calculator. Cambridge: Harvard University Press."},{"issue":"3","key":"9432_CR22","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/72551.72554","volume":"21","author":"P Hudak","year":"1989","unstructured":"Hudak, P. (1989). Conception, evolution, and application of functional programming languages. ACM Computing Surveys, 21(3), 359\u2013411.","journal-title":"ACM Computing Surveys"},{"key":"9432_CR23","volume-title":"Rescuing prometheus","author":"TP Hughes","year":"1998","unstructured":"Hughes, T. P. (1998). Rescuing prometheus. New York: Pantheon."},{"key":"9432_CR24","unstructured":"IBM. (1956). The FORTRAN automatic coding system for the IBM 704 EDPM: Programmer\u2019s reference manual. (Applied Science Division and Programming Research Dept., IBM: New York, NY, October 15, 1956.)"},{"key":"9432_CR25","volume-title":"Reference manual: FORTRAN II for the IBM 704 data processing system","author":"IBM","year":"1958","unstructured":"IBM. (1958). Reference manual: FORTRAN II for the IBM 704 data processing system. New York: IBM."},{"key":"9432_CR26","unstructured":"Kernighan, B., & Plauger, P. J. (1974). The elements of programming style. Reading: Addison-Wesley, Second edition: 1978."},{"key":"9432_CR27","unstructured":"Lubkin, S. (1947). Proposed programming for the EDVAC. (Moore School of Electrical Engineering, Office of the Director Records, 1931\u20131948, UPD 8.4, University of Pennsylvania Archives and Records, box 8.)"},{"issue":"8","key":"9432_CR28","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/368405.1773349","volume":"2","author":"J McCarthy","year":"1959","unstructured":"McCarthy, J. (1959). Letter to the editor. Communications of the ACM, 2(8), 2\u20133.","journal-title":"Communications of the ACM"},{"issue":"4","key":"9432_CR29","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1145\/367177.367199","volume":"3","author":"J McCarthy","year":"1960","unstructured":"McCarthy, J. (1960). Recursive functions of symbolic expressions and their computation by machine: Part I. Communications of the ACM, 3(4), 184\u2013195.","journal-title":"Communications of the ACM"},{"key":"9432_CR30","first-page":"173","volume":"1981","author":"J McCarthy","year":"1981","unstructured":"McCarthy, J. (1981). History of LISP. In Wexelblat, 1981, 173\u2013194.","journal-title":"In Wexelblat"},{"key":"9432_CR31","unstructured":"McCarthy, J., Minsky, M. L., Rochester, N., & Shannon C. E. (1955) A proposal for the Dartmouth summer research project on artificial intelligence. (Dartmouth College, 31 August, 1955.)"},{"key":"9432_CR32","doi-asserted-by":"crossref","unstructured":"McCorduck, P. (2004). Machines who think. (A. K. Peters, Natick, MA.)","DOI":"10.1201\/9780429258985"},{"issue":"5","key":"9432_CR33","doi-asserted-by":"crossref","first-page":"1359","DOI":"10.1111\/j.1540-6261.1995.tb05181.x","volume":"50","author":"RC Merton","year":"1995","unstructured":"Merton, R. C., & Scholes, M. S. (1995). Fischer black. The Journal of Finance, 50(5), 1359\u20131370.","journal-title":"The Journal of Finance"},{"key":"9432_CR34","unstructured":"Newell, A. (1954). The chess machine: An example of dealing with a complex task by adaptation. (RAND Corporation, report P-620, 28 December, 1954.)"},{"key":"9432_CR35","doi-asserted-by":"crossref","unstructured":"Newell, A., & Shaw, J. C. (1957). Programming the logic theory machine. In Proceedings of the western joint computer conference: Techniques for reliability (pp. 230\u2013240).","DOI":"10.1145\/1455567.1455606"},{"key":"9432_CR36","unstructured":"Newell, A., Shaw, J. C., & Simon, H. A. (1958). Report on a general problem-solving program. (RAND Corporation, report P-1584, 30 December, 1958. Revised 9 Feb 1959.)"},{"key":"9432_CR37","unstructured":"Newell, A., & Simon, H. A. (1956a). Current developments in complex information processing. (RAND Corporation, report P-850, 1 May, 1956.)"},{"issue":"3","key":"9432_CR38","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/TIT.1956.1056797","volume":"2","author":"A Newell","year":"1956","unstructured":"Newell, A., & Simon, H. A. (1956b). The Logic Theory Machine: A complex information processing system. IRE Transactions on Information Theory, 2(3), 61\u201379.","journal-title":"IRE Transactions on Information Theory"},{"issue":"4","key":"9432_CR39","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1145\/367177.367205","volume":"3","author":"A Newell","year":"1960","unstructured":"Newell, A., & Tonge, F. M. (1960). An introduction to Information Processing Language V. Communications of the ACM, 3(4), 205\u2013211.","journal-title":"Communications of the ACM"},{"key":"9432_CR40","unstructured":"Priestley, M. (2008). Logic and the development of programming languages, 1930\u20131975. (PhD thesis, University of London)."},{"key":"9432_CR41","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84882-555-0","volume-title":"A science of operations: Machines, logic and the invention of programming","author":"M Priestley","year":"2011","unstructured":"Priestley, M. (2011). A science of operations: Machines, logic and the invention of programming. London: Springer."},{"key":"9432_CR42","volume-title":"Programming systems and languages","author":"S Rosen","year":"1967","unstructured":"Rosen, S. (1967). Programming systems and languages. New York: McGraw-Hill."},{"issue":"1","key":"9432_CR43","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/1103286.1103288","volume":"6","author":"JM Sakoda","year":"1974","unstructured":"Sakoda, J. M. (1974). Structured programming in FORTRAN. ACM SIGSOC Bulletin, 6(1), 12\u201316.","journal-title":"ACM SIGSOC Bulletin"},{"key":"9432_CR44","volume-title":"Programming languages: History and fundamentals","author":"J Sammet","year":"1969","unstructured":"Sammet, J. (1969). Programming languages: History and fundamentals. Upper Saddle River: Prentice-Hall."},{"issue":"12","key":"9432_CR45","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1145\/942582.807997","volume":"6","author":"J Sammet","year":"1971","unstructured":"Sammet, J. (1971). Application of extensible languages to specialized application languages. ACM SIGPLAN Notices, 6(12), 141\u2013143.","journal-title":"ACM SIGPLAN Notices"},{"key":"9432_CR46","unstructured":"Sammet, J (1972). An overview of programming languages for specialized application areas. In AFIPS \u201872 (Spring) Proceedings of the May 16\u201318, 1972, Spring joint computer conference (pp. 299\u2013311)."},{"key":"9432_CR47","doi-asserted-by":"crossref","unstructured":"Selfridge, O. G. (1955). Pattern recognition and modern computers. In Proceedings of the western joint computer conference (pp. 91\u201393).","DOI":"10.1145\/1455292.1455310"},{"issue":"6","key":"9432_CR48","first-page":"467","volume":"106","author":"HA Simon","year":"1962","unstructured":"Simon, H. A. (1962). The architecture of complexity. Proceedings of the American Philosophical Society, 106(6), 467\u2013482.","journal-title":"Proceedings of the American Philosophical Society"},{"key":"9432_CR49","doi-asserted-by":"crossref","unstructured":"Stoyan, H. (1984). Early LISP History (1956\u20131959). In Proceedings of the 1984 ACM symposium on LISP and functional programming (pp. 299\u2013310).","DOI":"10.1145\/800055.802047"},{"key":"9432_CR50","unstructured":"Turner, D. A. (2012). Some history of functional programming languages. In 13th International symposium on trends in functional programming. (Paper available at https:\/\/www.cs.kent.ac.uk\/people\/staff\/dat\/tfp12\/tfp12.pdf . Accessed February 28, 2017.)"},{"issue":"1","key":"9432_CR51","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/359367.359368","volume":"20","author":"A Gelder Van","year":"1977","unstructured":"Van Gelder, A. (1977). Structured programming in Cobol: An approach for application programmers. Communications of the ACM, 20(1), 2\u201312.","journal-title":"Communications of the ACM"},{"key":"9432_CR52","unstructured":"Van Roy, P. (2009). Programming paradigms for dummies: What every programmer should know. (Paper available at https:\/\/www.info.ucl.ac.be\/~pvr\/VanRoyChapter.pdf . Accessed February 28, 2017.)"},{"key":"9432_CR53","volume-title":"History of programming languages","year":"1981","unstructured":"Wexelblat, R. L. (Ed.). (1981). History of programming languages. New York: Academic Press."},{"key":"9432_CR54","volume-title":"The preparation of programs for an electronic digital computer","author":"MV Wilkes","year":"1951","unstructured":"Wilkes, M. V., Wheeler, D. J., & Gill, S. (1951). The preparation of programs for an electronic digital computer. Reading: Addison-Wesley."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-017-9432-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-017-9432-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-017-9432-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,6]],"date-time":"2020-10-06T18:36:03Z","timestamp":1602009363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-017-9432-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,2]]},"references-count":54,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["9432"],"URL":"https:\/\/doi.org\/10.1007\/s11023-017-9432-7","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"value":"0924-6495","type":"print"},{"value":"1572-8641","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,2]]}}}