Sign in

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

Jonathan SterlingRobert 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