Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

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

Liesbeth de Mol 1 Maarten Bullynck 2 Martin Carlé 3 
1 STL - Savoirs, Textes, Langage (STL) - UMR 8163
2 Centre de recherches historiques : histoire des pouvoirs, savoirs et sociétés
3 no affiliation
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.
Keywords : program composition history of programming combinators Haskell B Curry ENIAC
Type de document :
Article dans une revue
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger
https://hal.univ-lille.fr/hal-01396489
Contributeur : Liesbeth De Mol Connectez-vous pour contacter le contributeur
Soumis le : lundi 14 novembre 2016 - 15:01:07
Dernière modification le : mercredi 23 mars 2022 - 15:50:49
Archivage à long terme le : : mardi 21 mars 2017 - 11:42:37

Fichier

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

Identifiants

  • HAL Id : hal-01396489, version 1

Collections

UNIV-PARIS8 | CNRS | STL | HIPHISCITECH | OMNIPHILO | TDS-MACS | UNIV-LILLE | UNIV-PARIS-LUMIERES | UNIV-PARIS8-OA

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⟩

Exporter

BibTeX TEI DC DCterms EndNote Datacite

Partager

Métriques

Consultations de la notice

148

Téléchargements de fichiers

185