Abstract
This paper discusses Curry’s work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program composition (1948-1950). It is shown that Curry anticipated automatic programming and that his logical work influenced his composition of programs.
This paper is a contribution to the ENIAC NOMOI project. We would like to thank G. Alberts for having given us the opportunity to present and discuss parts of this paper at CHOC (Colloquium History of Computing), University of Amsterdam. The first author is a postdoctoral fellow of the Fund for Scientific Research – Flanders (FWO).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Curry, H.B.: The combinatory foundations of mathematical logic. The Journal of Symbolic Logic 7(2), 49–64 (1942)
Curry, H.B.: On the composition of programs for automatic computing. Technical Report 9805, Naval Ordnance Laboratory (1949)
Curry, H.B.: A program composition technique as applied to inverse interpolation. Technical Report 10337, Naval Ordnance Laboratory (1950)
Curry, H.B.: The logic of program composition. In: Applications scientifiques de la logique mathématique, Actes du 2e Coll. Int. de Logique Mathématique, Paris, 25-30 août(1952), Institut Henri Poincaré, Paris, Gauthier-Villars, pp. 97–102 (1954)
Curry, H.B., Wyatt, W.A.: A study of inverse interpolation of the Eniac. Technical Report 615, Ballistic Research Laboratories, Aberdeen Proving Ground, Maryland (1946)
Goldstine, H.H., von Neumann, J.: Planning and coding of problems for an electronic computing instrument. vol. 2, part I,II and III, 1947-1948. Report prepared for U. S. Army Ord. Dept. under Contract W-36-034-ORD-7481
Ianov, I.I.: On the equivalence and transformation of program schemes. Communications of the ACM 1(10), 8–12 (1958)
Knuth, D.E., Pardo, L.T.: Early development of programming languages. In: Howlett, J., Metropolis, N., Rota, G.-C. (eds.) A History of Computing in the Twentieth Century, pp. 197–274. Academic Press, New York (1980)
De Mol, L., Bullynck, M.: A week-end off: The First Extensive Number-Theoretical computation on the ENIAC. In: Beckmann, A., Dimitracopoulos, C., Löwe, B. (eds.) CiE 2008. LNCS, vol. 5028, pp. 158–167. Springer, Heidelberg (2008)
Patterson, G.W.: Review of The logic of program composition by H.B. Curry. The Journal of Symbolic Logic 22(1), 102–103 (1957)
Tropp, H.S.: Franz Alt interview, September 12 (1972)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Mol, L., Bullynck, M., Carlé, M. (2010). Haskell before Haskell: Curry’s Contribution to Programming (1946–1950). In: Ferreira, F., Löwe, B., Mayordomo, E., Mendes Gomes, L. (eds) Programs, Proofs, Processes. CiE 2010. Lecture Notes in Computer Science, vol 6158. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13962-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-13962-8_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13961-1
Online ISBN: 978-3-642-13962-8
eBook Packages: Computer ScienceComputer Science (R0)