Formal Parametric Polymorphism.

Martín Abadi Luca Cardelli Pierre-Louis Curien

Published in: POPL (1993)

Keyphrases

parametric models
formal specification
formal methods
mathematical foundations
real world
face recognition
bayesian networks
cooperative
search algorithm
formal representation