Logical Relations as Types: Proof-Relevant Parametricity for Program Modules.

Jonathan Sterling Robert Harper

Published in: J. ACM (2021)

Keyphrases

logical structure
logical representation
test cases
theorem proving
data sets
databases
machine learning
query language
theorem prover
computer programs
static analysis
program execution