Haskell before Haskell. Curry’s contribution ...
Type de document :
Compte-rendu et recension critique d'ouvrage
Titre :
Haskell before Haskell. Curry’s contribution to programming (1946–1950)
Auteur(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
Titre de la revue :
Lecture Notes in Computer Science
Programs, Proofs, Processes. Sixth Conference on Computability in Europe
Programs, Proofs, Processes. Sixth Conference on Computability in Europe
Éditeur :
Springer
Date de publication :
2010
ISSN :
0302-9743
Mot(s)-clé(s) en anglais :
program composition
history of programming
combinators
Haskell B Curry
ENIAC
history of programming
combinators
Haskell B Curry
ENIAC
Discipline(s) HAL :
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
Résumé en anglais : [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 ...
Lire la suite >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.Lire moins >
Lire la suite >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.Lire moins >
Langue :
Anglais
Vulgarisation :
Non
Collections :
Source :
Fichiers
- https://hal.univ-lille.fr/hal-01396489/document
- Accès libre
- Accéder au document
- https://hal.univ-lille.fr/hal-01396489/document
- Accès libre
- Accéder au document
- https://hal.univ-lille.fr/hal-01396489/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- CIE10_Final.pdf
- Accès libre
- Accéder au document