Type Inference to Optimize a Hybrid Statically and Dynamically Typed Language.

Francisco Ortin

Published in: Comput. J. (2011)

Keyphrases

strongly typed
programming language
language learning
type checking
database programming language
natural language
lambda calculus
bayesian inference
specification language
artificial intelligence
bayesian networks
higher order
probabilistic inference