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
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)
Uses Software
This page was built for publication: Haskell before Haskell: an alternative lesson in practical logics of the ENIAC