A Model for Formal Parametric Polymorphism: A PER Interpretation for System R.

Roberto Bellucci Martín Abadi Pierre-Louis Curien

Published in: TLCA (1995)

Keyphrases

mathematical model
probabilistic model
computational model
decision trees
high level
theoretical framework
semantic description
cost function
formal model
inference process
formal representation
real time
theoretical analysis
experimental data
bayesian framework
prediction model