A Deductive and Typed Object-Oriented Language.

René Bal Herman Balsters

Published in: DOOD (1993)

Keyphrases

higher order
lambda calculus
object oriented
abductive inference
explanation based learning
deductive reasoning
data sets
neural network
pattern recognition
fixed order
functional programs
learning algorithm
training data