Type inference for recursively constrained types and its application to OOP.

Jonathan Eifrig Scott F. Smith Valery Trifonov

Published in: MFPS (1995)

Keyphrases

multiple types
data sets
artificial intelligence
information retrieval
knowledge base
high level
bayesian networks
data structure
evolutionary algorithm
object oriented programming