Computational Types from a Logical Perspective.

P. N. Benton Gavin M. Bierman Valeria de Paiva

Published in: J. Funct. Program. (1998)

Keyphrases

viewpoint
mathematical programming
machine learning
database
artificial intelligence
objective function