Gradual typing with unification-based inference.

Jeremy G. Siek Manish Vachharajani

Published in: DLS (2008)

Keyphrases

theorem proving
higher order
efficient learning
inference process
grammatical inference
neural network
artificial intelligence
search engine
generative model
probabilistic inference
random fields
bayesian inference
equational theories