Sign in

Propositional Equality for Gradual Dependently Typed Programming.

Joseph EremondiRonald GarciaÉric Tanter
Published in: CoRR (2022)
Keyphrases
  • programming language
  • propositional logic
  • higher order
  • first order logic
  • programming environment
  • default logic
  • object oriented programming
  • lambda calculus
  • databases
  • database applications
  • hands on guide