Unification based FP interpreters.

Chris Fickert Thomas A. Sudkamp

Published in: ACM SIGPLAN Notices (1992)

Keyphrases

theorem proving
virtual machine
higher order
representation language
description language
equational theories
domain knowledge
machine learning
similarity measure
reinforcement learning
search algorithm
expert systems