Haskell before Haskell: an alternative lesson in practical logics of the ENIAC. - DE MOL, LIESBETH; CARLÉ, MARTIN; BULLYNCK, MAARTEN (Journal of Logic & Computation, 2015)