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

Liesbeth De Mol Martin Carlé Maarten Bullynck

Published in: J. Log. Comput. (2015)

Keyphrases

functional programming
programming language
plagiarism detection
functional language
real world
high level
modal logic
practical application
general purpose
expressive power
real time
case study
social networks
machine learning
knowledge base
information extraction
temporal logic
execution model