Haskell before Haskell. Curry’s contribution to programming (1946–1950)
Liesbeth De Mol, Maarten Bullynck, Martin Carlé
Abstract
Open-access reader
Liesbeth De Mol, Maarten Bullynck, Martin Carlé
Abstract
Open-access reader
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. Key words: ENIAC, Haskell B. Curry, combinators, program compo-sition, history of programming 1
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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. Key words: ENIAC, Haskell B. Curry, combinators, program compo-sition, history of programming 1
Key concepts: Haskell, Curry, Programming language, Computer science, Functional programming