A type-sound calculus of computational fields.

Ferruccio Damiani Mirko Viroli Jacob Beal

Published in: Sci. Comput. Program. (2016)

Keyphrases

type checking
mathematical programming
bayesian networks
computationally tractable
real time
databases
data mining
computer vision
knowledge base
web services
computer science
database programming language