Teaching the art of functional programming using automated grading (experience report).

Aliya Hameer Brigitte Pientka

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

functional programming
functional language
execution model
programming language
higher education
e learning
object oriented programming
learning environment
quantifier elimination
theorem proving
computer programming