C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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