Haskell before Haskell. Curry’s contribution ...
Document type :
Article dans une revue scientifique
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
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
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
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
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 >
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 :
Source :
Files
- https://hal.univ-lille.fr/hal-01396489/document
- Open access
- Access the document
- https://hal.univ-lille.fr/hal-01396489/document
- Open access
- Access the document
- https://hal.univ-lille.fr/hal-01396489/document
- Open access
- Access the document
- document
- Open access
- Access the document
- CIE10_Final.pdf
- Open access
- Access the document