Type-and-scope safe programs and their proofs.

Guillaume Allais James Chapman Conor McBride James McKinna

Published in: CPP (2017)

Keyphrases

computer programs
theorem proving
automatic programming
database
computer vision
image segmentation
three dimensional
answer sets
fixpoint
control structures