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

Abstract : 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.
Type de document :
Article dans une revue
Lectures Notes in Computer Science (LNCS), 2010, Programs, Proofs, Processes. Sixth Conference on Computability in Europe, 6158
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

http://hal.univ-lille3.fr/hal-01396489
Contributeur : Liesbeth De Mol <>
Soumis le : lundi 14 novembre 2016 - 15:01:07
Dernière modification le : vendredi 13 avril 2018 - 01:21:23
Document(s) archivé(s) le : mardi 21 mars 2017 - 11:42:37

Fichier

CIE10_Final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01396489, version 1

Citation

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

Partager

Métriques

Consultations de la notice

172

Téléchargements de fichiers

106