Using Coq to Understand Nested Datatypes.

Antonio Blanco J. E. Freire José Luis Freire

Published in: EUROCAST (2007)

Keyphrases

data types
data model
database systems
data structure
database management systems
probabilistic model
theorem prover
formal methods
deeper understanding
real time
artificial intelligence
information systems
website
case study
search algorithm
compositional semantics