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

L. De Mol, Carlé, M., and Bullynck, M., “Haskell before Haskell: an alternative lesson in practical logics of the ENIAC”, Journal of Logic and Computation. In Press.