C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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