• English
    • français
  • Help
  •  | 
  • Contact
  •  | 
  • About
  •  | 
  • Login
  • HAL portal
  •  | 
  • Pages Pro
  • EN
  •  / 
  • FR
View Item 
  •   LillOA Home
  • Liste des unités
  • Savoirs, Textes, Langage (STL) - UMR 8163
  • View Item
  •   LillOA Home
  • Liste des unités
  • Savoirs, Textes, Langage (STL) - UMR 8163
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Haskell before Haskell. Curry’s contribution ...
  • BibTeX
  • CSV
  • Excel
  • RIS

Document type :
Article dans une revue scientifique
Title :
Haskell before Haskell. Curry’s contribution to programming (1946–1950)
Author(s) :
De Mol, Liesbeth [Auteur]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Bullynck, Maarten [Auteur]
Centre de recherches historiques : histoire des pouvoirs, savoirs et sociétés
Carlé, Martin [Auteur]
no affiliation
Journal title :
Lecture Notes in Computer Science
Programs, Proofs, Processes. Sixth Conference on Computability in Europe
Publisher :
Springer
Publication date :
2010
ISSN :
0302-9743
English keyword(s) :
program composition
history of programming
combinators
Haskell B Curry
ENIAC
HAL domain(s) :
Informatique [cs]/Ordinateur et société [cs.CY]
Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences
English abstract : [en]
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 ...
Show more >
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.Show less >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
  • Savoirs, Textes, Langage (STL) - UMR 8163
Source :
Harvested from HAL
Files
Thumbnail
  • https://hal.univ-lille.fr/hal-01396489/document
  • Open access
  • Access the document
Thumbnail
  • https://hal.univ-lille.fr/hal-01396489/document
  • Open access
  • Access the document
Thumbnail
  • https://hal.univ-lille.fr/hal-01396489/document
  • Open access
  • Access the document
Université de Lille

Mentions légales
Université de Lille © 2017