Sorting and searching using lisp, functional programming, and recursion.

Published in: ACM SIGCSE Bull. (2009)

Keyphrases

functional programming
programming language
functional language
execution model
object oriented programming
learning theory
quantifier elimination
general purpose
high level
object oriented
complex objects
database
knowledge representation
software engineering
transitive closure