Haskell before Haskell: Curry's contribution to programming (1946--1950)

DOI10.1007/978-3-642-13962-8_12zbMATH Open1290.68004OpenAlexW1497014587MaRDI QIDQ3576196FDOQ3576196

Authors: Liesbeth De Mol, Maarten Bullynck, Martin Carlé 

Publication date: 29 July 2010

Published in: Programs, Proofs, Processes (Search for Journal in Brave)

Full work available at URL: https://biblio.ugent.be/publication/1041602

Recommendations

• Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
• Closing the Circle: An Analysis of Emil Post's Early Work
• A science of operations. Machines, logic and the invention of programming.
• scientific article; zbMATH DE number 559187
• scientific article; zbMATH DE number 4039834

zbMATH Keywords

ENIACprogram compositioncombinatorsHaskell B. Curryhistory of programming

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of computer science (68-03) Functional programming and lambda calculus (68N18)

Cited In (2)

• Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
• The Cellar Principle of State Transition and Storage Allocation

Uses Software

• Haskell

This page was built for publication: Haskell before Haskell: Curry's contribution to programming (1946--1950)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3576196)