Propositional Equality for Gradual Dependently Typed Programming.

Joseph Eremondi Ronald 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