Type Inference for Recursive Definitions.

A. J. Kfoury Santiago M. Pericás-Geertsen

Published in: LICS (1999)

Keyphrases

inference process
databases
genetic algorithm
database
website
multi agent
graphical models
markov chain
bayesian model