Modular Type-Safety Proofs using Dependant Types

Christopher Schwaab Jeremy G. Siek

Published in: CoRR (2012)

Keyphrases

multiple types
computer vision
databases
knowledge base
case study
objective function
data model