Login / Signup

An interactive functional programming tutor.

Alex GerdesJohan JeuringBastiaan Heeren
Published in: ITiCSE (2012)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • programming language
  • intelligent tutoring systems
  • object oriented programming
  • quantifier elimination
  • tutoring system