{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T00:43:37Z","timestamp":1791420217142,"version":"4.3.3"},"reference-count":38,"publisher":"Oxford University Press (OUP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1093\/logcom\/exs072","type":"journal-article","created":{"date-parts":[[2013,1,23]],"date-time":"2013-01-23T07:19:49Z","timestamp":1358925589000},"page":"1011-1046","source":"Crossref","is-referenced-by-count":13,"title":["Haskell before Haskell: an alternative lesson in practical logics of the ENIAC"],"prefix":"10.1093","volume":"25","author":[{"given":"Liesbeth","family":"De Mol","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Carl\u00e9","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maarten","family":"Bullynck","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2013,1,22]]},"reference":[{"key":"2015072400400428000_25.4.1011.1","unstructured":"Aspray W. John von Neumann and the Origins of Modern Computing. MIT Press; 1990."},{"key":"2015072400400428000_25.4.1011.2","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"2015072400400428000_25.4.1011.3","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-009-0169-8"},{"key":"2015072400400428000_25.4.1011.4","unstructured":"Burks A. W. Heine Goldstine H. Neumann J. Von . Part I of Report on the mathematical and logical aspects of an electronic computing instrument. I. 1946. Preliminary Discussion of the Logical Design of an Electronic Computer Instrument."},{"key":"2015072400400428000_25.4.1011.5","unstructured":"Ceruzzi P. E. A History of Modern Computing. 2nd edn. MIT Press; 2002."},{"key":"2015072400400428000_25.4.1011.6","unstructured":"Church A. The Calculi of Lambda-Conversion. Princeton University Press; 1941."},{"key":"2015072400400428000_25.4.1011.7","doi-asserted-by":"crossref","unstructured":"Clippinger D. A Logical Coding System Applied to the ENIAC. BRL 673, Ballistic Research Laboratories, Aberdeen Proving Ground; 1948.","DOI":"10.21236\/ADB205179"},{"key":"2015072400400428000_25.4.1011.8","doi-asserted-by":"publisher","DOI":"10.2307\/2370619"},{"key":"2015072400400428000_25.4.1011.9","doi-asserted-by":"publisher","DOI":"10.2307\/2268797"},{"key":"2015072400400428000_25.4.1011.10","doi-asserted-by":"publisher","DOI":"10.2307\/2266302"},{"key":"2015072400400428000_25.4.1011.11","unstructured":"Curry H. B. Technical Report 9805. Naval Ordnance Laboratory; 1949. On the composition of programs for automatic computing."},{"key":"2015072400400428000_25.4.1011.12","unstructured":"Curry H. B. Technical Report 10337. Naval Ordnance Laboratory; 1950. A program composition technique as applied to inverse interpolation."},{"key":"2015072400400428000_25.4.1011.13","unstructured":"Curry H. B. Applications scientifiques de la logique math\u00e9matique, Actes du 2e Coll. Int. de Logique Math\u00e9matique, Paris, 25\u201330 ao\u00fbt 1952, Institut Henri Poincar\u00e9. Gauthier-Villars; 1954. The logic of program composition; p. 97-102."},{"key":"2015072400400428000_25.4.1011.14","unstructured":"Curry H. B. Foundations of Mathematical Logic. McGraw Hill; 1963."},{"key":"2015072400400428000_25.4.1011.15","unstructured":"Curry H. B. Feys R. Combinatory Logic. I. North-Holland Pub. co.; 1958."},{"key":"2015072400400428000_25.4.1011.16","unstructured":"Curry H. B. Wyatt W. A. Technical Report 615. Ballistic Research Laboratories, Aberdeen Proving Ground; 1946. A study of inverse interpolation of the Eniac."},{"key":"2015072400400428000_25.4.1011.17","doi-asserted-by":"crossref","unstructured":"De Mol L. Bullynck M. A week-end off: The first extensive number-theoretical computation on the ENIAC. In: Beckmann A. Dimitracopoulos C. L\u00f6we B. , editors. Logic and Theory of Algorithms. 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 2008, Proceedings, Vol. 5028 of Lecture Notes in Computer Science. Springer; 2008. p. 158-167.","DOI":"10.1007\/978-3-540-69407-6_19"},{"key":"2015072400400428000_25.4.1011.18","doi-asserted-by":"crossref","unstructured":"De Mol L. Bullynck M. Carl\u00e9 Martin . Haskell before Haskell: Curry's Contribution to Programming (1946\u20131950). In: Ferreira F. L\u00f6we B. Mayordomo E. Mendes Gomes L. , editors. Programs, Proofs, Processes. 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June\/July 2010, Proceedings Vol. 6158 of Lecture Notes in Computer Science. Springer; 2010. p. 108-117.","DOI":"10.1007\/978-3-642-13962-8_12"},{"key":"2015072400400428000_25.4.1011.19","doi-asserted-by":"crossref","unstructured":"Fritz W. B. IEEE Ann. Hist. Comput. Vol. 18. 1996. The Women of ENIAC; p. 13-28.","DOI":"10.1109\/85.511940"},{"key":"2015072400400428000_25.4.1011.20","unstructured":"Goldstine H. H. von Neumann J. John von Neumann, Collected Works. Vol. 6. Oxford; 1946. On the Principles of Large Scale Computing Machines; p. 1-32. (1961\u20131963), Vol. V, Lecture manuscript."},{"key":"2015072400400428000_25.4.1011.21","unstructured":"Goldstine H. H. von Neumann J. 1947\u201348. Planning and coding of problems for an electronic computing instrument. Vol. 2 of Report on the Mathematical and Logical Aspects of an Electronic Computing Instrument, part I,II and III. Report prepared for U. S. Army Ord. Dept. under Contract W-36-034-ORD-7481."},{"key":"2015072400400428000_25.4.1011.22","unstructured":"Goldstine H. H. The Computer from. Pascal to von Neumann. Princeton University Press; 1972."},{"key":"2015072400400428000_25.4.1011.23","doi-asserted-by":"publisher","DOI":"10.1109\/85.476561"},{"key":"2015072400400428000_25.4.1011.24","doi-asserted-by":"publisher","DOI":"10.1038\/158500a0"},{"key":"2015072400400428000_25.4.1011.25","doi-asserted-by":"crossref","unstructured":"Ianov Iuri I. On the equivalence and transformation of program schemes. Communi. ACM 1958;1:8-12.","DOI":"10.1145\/368924.368930"},{"key":"2015072400400428000_25.4.1011.26","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1943-0007371-8"},{"key":"2015072400400428000_25.4.1011.27","unstructured":"Knuth D. E. Pardo L. T. Early development of programming languages. In: Howlett J. Metropolis N. Rota G. -C. , editors. A History of Computing in the Twentieth Century. Academia Press; 1980. p. 197-274."},{"key":"2015072400400428000_25.4.1011.28","doi-asserted-by":"crossref","unstructured":"Lehmer D. H. A history of the sieve process. In: Howlett J. Metropolis N. Rota G.-C. , editors. A History of Computing in the Twentieth Century. Academia Press; 1980. p. 445-456.","DOI":"10.1016\/B978-0-12-491650-0.50030-7"},{"key":"2015072400400428000_25.4.1011.29","doi-asserted-by":"publisher","DOI":"10.1179\/030801805X25927"},{"key":"2015072400400428000_25.4.1011.30","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.2008.55"},{"key":"2015072400400428000_25.4.1011.31","unstructured":"Markov A. A. Theory of Algorithms. The National Science Foundation, Washington, D.C. and The Department of Commerce by The Israel Program for Scientific Translations; 1962. Translated from the Russian edition (1954)."},{"key":"2015072400400428000_25.4.1011.32","doi-asserted-by":"publisher","DOI":"10.1145\/367177.367199"},{"key":"2015072400400428000_25.4.1011.33","doi-asserted-by":"crossref","unstructured":"Neukom H. The Second Life of ENIAC. IEEE Ann. Hist. of Comput. 2006;28:4, 16.","DOI":"10.1109\/MAHC.2006.39"},{"key":"2015072400400428000_25.4.1011.34","doi-asserted-by":"crossref","unstructured":"Patterson G. W. Review of \u201cThe logic of program composition by H.B. Curry\u201d. J. Symbolic Logic 1957;22:102-103.","DOI":"10.2307\/2964106"},{"key":"2015072400400428000_25.4.1011.35","unstructured":"Rose A. Lightning strikes mathematics: ENIAC. Popular Sci. 1946;148:83-86."},{"key":"2015072400400428000_25.4.1011.36","unstructured":"Tropp H. S. Franz Alt, interview, 12 September, 1972. Computer Oral Hist. Collect. 1969\u20131973."},{"key":"2015072400400428000_25.4.1011.37","unstructured":"Tropp H. S. Jean Bartik and Frances Holberton, interview, 27 April, 1973. Computer Oral Hist. Collect. 1969\u20131973."},{"key":"2015072400400428000_25.4.1011.38","doi-asserted-by":"crossref","unstructured":"Zuse K. Some Remarks on the History of Computing in Germany. In: Howlett J. Metropolis N. Rota G.-C. , editors. A History of Computing in the Twentieth Century. Academia Press; 1980. p. 611-627.","DOI":"10.1016\/B978-0-12-491650-0.50045-9"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/4\/1011\/5142542\/exs072.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T19:17:10Z","timestamp":1562613430000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exs072"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,22]]},"references-count":38,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2015,7,24]]},"published-print":{"date-parts":[[2015,8]]}},"alternative-id":["10.1093\/logcom\/exs072"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exs072","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,22]]}}}