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