Title :

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

Author(s) :

De Mol, Liesbeth [Auteur]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Bullynck, Maarten [Auteur]
Centre de recherches historiques : histoire des pouvoirs, savoirs et sociétés
Carlé, Martin [Auteur]
no affiliation

Journal title :

Lecture Notes in Computer Science
Programs, Proofs, Processes. Sixth Conference on Computability in Europe

Publisher :

Springer

Publication date :

2010

ISSN :

0302-9743

English keyword(s) :

program composition
history of programming
combinators
Haskell B Curry
ENIAC

HAL domain(s) :

Informatique [cs]/Ordinateur et société [cs.CY]
Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences

English abstract : [en]

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 ...
Show more >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.Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

Collections :

• Savoirs, Textes, Langage (STL) - UMR 8163

Source :

Harvested from HAL