Haskell before Haskell. Curry’s contribution to programming (1946–1950) - Université de Lille 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

Ordinateur et société [cs.CY] 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 : mercredi 24 janvier 2024-09:54:19

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS8 CNRS STL HIPHISCITECH OMNIPHILO TDS-MACS CAMPUS-AAR AAI UNIV-LILLE UNIV-PARIS-LUMIERES UNIV-PARIS8-OA
179 Consultations
220 Téléchargements

Partager

Gmail Facebook X LinkedIn More