An Introduction to Programming and Proving with Dependent Types in Coq.

Published in: J. Formaliz. Reason. (2010)

Keyphrases

programming language
database
databases
information technology
high level language
learning algorithm
search engine
multiscale
evolutionary algorithm
general purpose
object oriented programming
programming environment