Polytypic programming in COQ.

Wendy Verbruggen Edsko de Vries Arthur Hughes

Published in: ICFP-WGP (2008)

Keyphrases

programming language
artificial intelligence
theorem prover
formal methods
information systems
information technology
programming environment
data sets
metadata
image sequences
development environment
object oriented programming
programming course
programming skills