Teaching Simple Constructive Proofs with Haskell Programs.

Matthew Farrugia-Roberts Bryn Jeffries Harald Søndergaard

Published in: TFPIE (2022)

Keyphrases

functional programming
general purpose
functional language
learning environment
programming language
computer programs
learning process
object oriented
learning analytics