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, vol. 25, pp. 1011-1046, 2015. http://dx.doi.org/10.1093/logcom/exs072