Haskell before Haskell. Curry’s contribution to programming (1946–1950)

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.
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.univ-lille3.fr/hal-01396489
Contributor : Liesbeth de Mol <>
Submitted on : Monday, November 14, 2016 - 3:01:07 PM
Last modification on : Tuesday, July 3, 2018 - 11:49:00 AM
Long-term archiving on : Tuesday, March 21, 2017 - 11:42:37 AM

File

CIE10_Final.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01396489, version 1

Citation

Liesbeth de Mol, Maarten Bullynck, Martin Carlé. Haskell before Haskell. Curry’s contribution to programming (1946–1950). Lectures Notes in Computer Science (LNCS), 2010, Programs, Proofs, Processes. Sixth Conference on Computability in Europe, 6158. ⟨hal-01396489⟩

Share

Metrics

Record views

291

Files downloads

319