SSA Transformations to Facilitate Type Inference in Dynamically Typed Code.

José Quiroga Francisco Ortin

Published in: Comput. J. (2017)

Keyphrases

higher order
fixed order
machine learning
bayesian networks
data mining
artificial intelligence
computer vision
website
probabilistic inference
bayesian inference
grammatical inference
type checking