Explicit Substitutions.

Martín Abadi Luca Cardelli Pierre-Louis Curien Jean-Jacques Lévy

Published in: POPL (1990)

Keyphrases

real world
viewpoint
database
artificial intelligence
support vector
artificial neural networks
input image