From F to DOT: Type Soundness Proofs with Definitional Interpreters.

Tiark Rompf Nada Amin

Published in: CoRR (2015)

Keyphrases

multiple types
databases
relational databases
machine learning
data structure
theorem proving
database
genetic algorithm
decision making
image processing
distributed systems
question answering
theorem prover
formal proofs
mathematical proofs