Haskell before Haskell. Curry’s contribution to programming (1946–1950) - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Lecture Notes in Computer Science Année : 2010

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

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

Résumé

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.

Domaines

Informatique [cs] Ordinateur et société [cs.CY] Sciences de l'Homme et Société Histoire, Philosophie et Sociologie des sciences
Fichier principal
Vignette du fichier
CIE10_Final.pdf (167.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Liesbeth De Mol  : Connectez-vous pour contacter le contributeur

https://hal.univ-lille.fr/hal-01396489

Soumis le : lundi 14 novembre 2016-15:01:07

Dernière modification le : vendredi 24 mars 2023-14:53:03

Archivage à long terme le : mardi 21 mars 2017-11:42:37

Télécharger pour visualiser

Dates et versions

hal-01396489 , version 1 (14-11-2016)

Identifiants

  • HAL Id : hal-01396489 , version 1

Citer

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

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-PARIS8 CNRS STL HIPHISCITECH OMNIPHILO TDS-MACS UNIV-LILLE UNIV-PARIS-LUMIERES UNIV-PARIS8-OA
161 Consultations
205 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More