Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming.

Pedro B. Vasconcelos

Published in: ICPEC (2023)

Keyphrases

functional programming
programming language
functional language
quantifier elimination
object oriented programming
execution model
e learning
high level
general purpose
production system
learning environment
management system
object oriented
logic programming
database
software engineering
logic programs
databases