Type soundness proofs with definitional interpreters.

Nada Amin Tiark Rompf

Published in: POPL (2017)

Keyphrases

multimedia
decision trees
theorem proving
representation language
real time
learning algorithm
feature selection
evolutionary algorithm
formal proof