An indexed model of recursive types for foundational proof-carrying code.

Andrew W. Appel David A. McAllester

Published in: ACM Trans. Program. Lang. Syst. (2001)

Keyphrases

mathematical model
probabilistic model
computational model
formal model
databases
database systems
similarity measure
reinforcement learning
video sequences
management system
source code
model selection