Haskell before Haskell: an alternative lesson in practical logics of the ENIAC

DOI10.1093/logcom/exs072zbMath1347.68004OpenAlexW2148579131MaRDI QIDQ3465045

Maarten Bullynck, Liesbeth De Mol, Martin Carlé

Publication date: 28 January 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://hal.univ-lille.fr/hal-01396482/file/LC_Curry_fused3.pdf

zbMATH Keywords

interpolationENIACcombinatory logictheory of programmingarithmetic compilerHaskell B. Curry

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) History of computer science (68-03)

Related Items (4)

Book review of: J.-L. Chabert et al., Histoire d'algorithmes. Du caillou à la puce ⋮ Types in Programming Languages, Between Modelling, Abstraction, and Correctness ⋮ When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science ⋮ The Mathematical Origins of Modern Computing

Uses Software

• Haskell

This page was built for publication: Haskell before Haskell: an alternative lesson in practical logics of the ENIAC