Formal Parametric Polymorphism.

Martín Abadi Luca Cardelli Pierre-Louis Curien

Published in: Theor. Comput. Sci. (1993)

Keyphrases

formal model
machine learning
computational complexity
formal representation
computer vision
web services
database systems
face recognition
hidden markov models
software engineering
semi parametric