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 : ENIAC Haskell B Curry program composition history of programming combinators
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 <>
Soumis le : lundi 14 novembre 2016 - 15:01:07
Dernière modification le : mercredi 28 avril 2021 - 18:35:57
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

CNRS | TDS-MACS | HIPHISCITECH | UNIV-PARIS8 | OMNIPHILO | STL | 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

Partager

Métriques

Consultations de la notice

419

Téléchargements de fichiers

526