Liesbeth de Mol, Martin Carlé, Maarten Bullynck. Haskell before Haskell. An alternative lesson in practical logics of the ENIAC..
Journal of Logic and Computation, Oxford University Press (OUP), 2015, 25 (4), pp.1011-1046.
⟨10.1093/logcom/exs072⟩.
⟨hal-01396482⟩